Merge pull request #177 from Strilanc/dev2

Fixed outline being stroked after fill, causing it to fade
Strilanc · May 30, 2016 · ca3b4c4 · ca3b4c4
2 parents 4462606 + ecaf3ef
commit ca3b4c4
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/ui/GatePainting.js b/src/ui/GatePainting.js
@@ -20,7 +20,7 @@ GatePainting.paintOutline = args => {
         args.painter.strokeLine(r.topRight(), r.bottomRight());
         args.painter.strokeLine(r.bottomLeft(), r.bottomRight());
     }
-    args.painter.strokeRect(args.rect);
+    args.painter.strokeRect(args.rect, 'black');
 };
 
 /**
@@ -34,11 +34,8 @@ GatePainting.MAKE_HIGHLIGHTED_DRAWER =
         if (args.isHighlighted) {
             backColor = Config.HIGHLIGHTED_GATE_FILL_COLOR;
         }
-        if (args.isInToolbox) {
-          args.painter.strokeRect(args.rect.shiftedBy(0.5, 0.5));
-        }
-        GatePainting.paintOutline(args);
         args.painter.fillRect(args.rect, backColor);
+        GatePainting.paintOutline(args);
         GatePainting.paintResizeTab(args);
         GatePainting.paintGateSymbol(args);
     };