From 2b25c33b4a9632c06b087017d2be4494e6afc99b Mon Sep 17 00:00:00 2001
From: Andrew Wilson <anwilson@chromium.org>
Date: Thu, 3 Sep 2015 11:14:25 -0700
Subject: [PATCH] Fix hairline border seen if border width is 0.0

---
 packages/flutter/lib/painting/box_painter.dart | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/packages/flutter/lib/painting/box_painter.dart b/packages/flutter/lib/painting/box_painter.dart
index c085218cb6..448a439c8f 100644
--- 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