Fix hairline border seen if border width is 0.0

2b25c33b · Andrew Wilson · 1245aa79 · 2b25c33b
Commit 2b25c33b authored Sep 03, 2015 by Andrew Wilson
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

box_painter.dart packages/flutter/lib/painting/box_painter.dart +3 -0

No files found.
--- a/packages/flutter/lib/painting/box_painter.dart
+++ b/packages/flutter/lib/painting/box_painter.dart
@@ -763,6 +763,9 @@ class BoxPainter {
    assert(_decoration.shape == Shape.circle);
    assert(_decoration.borderRadius == null);
    double width = _decoration.border.top.width;
+    if (width <= 0.0) {
+      return;
+    }
    Paint paint = new Paint()
      ..color = _decoration.border.top.color
      ..strokeWidth = width