From 36b4e3382dc552fcd1b078bdd246dc14379394a1 Mon Sep 17 00:00:00 2001
From: Sergiusz Bazanski <q3k@q3k.org>
Date: Sat, 14 Jul 2018 18:50:50 +0100
Subject: Revert "Make GUI nice and smooth."

This reverts commit a8c84e90a39c54174dd24b5b76bd17aed8311481.
---
 ice40/main.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'ice40/main.cc')

diff --git a/ice40/main.cc b/ice40/main.cc
index d38c786c..e77bdd34 100644
--- a/ice40/main.cc
+++ b/ice40/main.cc
@@ -51,8 +51,7 @@ 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\"";
 
-    auto &&proxy = ctx->rproxy();
-    for (auto &el : proxy.getDecalGraphics(decal.decal)) {
+    for (auto &el : ctx->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))
-- 
cgit v1.2.3