# HG changeset patch
# User shade
# Date 1509795510 -3600
# Node ID 3de9120aa9eac477659808a908e299380af4a524
# Parent  148d3cf699707b711a1a6973ebe12800b2a20fb0
Less aggressive stroke for uncommitted regions.

diff -r 148d3cf69970 -r 3de9120aa9ea src/main/java/org/openjdk/shenandoah/RegionStat.java
--- a/src/main/java/org/openjdk/shenandoah/RegionStat.java	Tue Sep 19 21:21:01 2017 +0200
+++ b/src/main/java/org/openjdk/shenandoah/RegionStat.java	Sat Nov 04 12:38:30 2017 +0100
@@ -138,8 +138,8 @@
 
         if (state == RegionState.EMPTY_UNCOMMITTED) {
             g.setColor(BORDER);
-            for (int t = 0; t < 5; t++) {
-                int off = width * t / 5;
+            for (int t = 0; t < 3; t++) {
+                int off = width * t / 3;
                 g.drawLine(x, y + off, x + off, y);
                 g.drawLine(x + off, y + height, x + width, y + off);
             }