diff options
| author | Sergiusz Bazanski <q3k@q3k.org> | 2018-07-13 20:53:52 +0100 |
|---|---|---|
| committer | Sergiusz Bazanski <q3k@q3k.org> | 2018-07-13 20:53:52 +0100 |
| commit | a8c84e90a39c54174dd24b5b76bd17aed8311481 (patch) | |
| tree | 2de94b976fd882e1ce3b83e8880e80f97d043775 /ice40/main.cc | |
| parent | a71b576de6c404572439e30a56c4ff19497523a2 (diff) | |
| download | nextpnr-a8c84e90a39c54174dd24b5b76bd17aed8311481.tar.gz nextpnr-a8c84e90a39c54174dd24b5b76bd17aed8311481.tar.bz2 nextpnr-a8c84e90a39c54174dd24b5b76bd17aed8311481.zip | |
Make GUI nice and smooth.
Diffstat (limited to 'ice40/main.cc')
| -rw-r--r-- | ice40/main.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ice40/main.cc b/ice40/main.cc index e77bdd34..d38c786c 100644 --- a/ice40/main.cc +++ b/ice40/main.cc @@ -51,7 +51,8 @@ void svg_dump_decal(const Context *ctx, const DecalXY &decal) const float scale = 10.0, offset = 10.0; const std::string style = "stroke=\"black\" stroke-width=\"0.1\" fill=\"none\""; - for (auto &el : ctx->getDecalGraphics(decal.decal)) { + auto &&proxy = ctx->rproxy(); + for (auto &el : proxy.getDecalGraphics(decal.decal)) { if (el.type == GraphicElement::G_BOX) { std::cout << "<rect x=\"" << (offset + scale * (decal.x + el.x1)) << "\" y=\"" << (offset + scale * (decal.y + el.y1)) << "\" height=\"" << (scale * (el.y2 - el.y1)) |