changeset 32:43f78a0e79c8

Trash regions should be crossed.
author shade
date Tue, 19 Sep 2017 11:58:52 +0200
parents 97914d0e20b0
children 58136f79fff1
files src/main/java/org/openjdk/shenandoah/RegionStat.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/main/java/org/openjdk/shenandoah/RegionStat.java	Fri Sep 15 13:59:50 2017 +0200
+++ b/src/main/java/org/openjdk/shenandoah/RegionStat.java	Tue Sep 19 11:58:52 2017 +0200
@@ -127,7 +127,7 @@
             g.drawRect(lx, ly, sharedWidth, h);
         }
 
-        if (state == RegionState.EMPTY_UNCOMMITTED) {
+        if (state == RegionState.EMPTY_UNCOMMITTED || state == RegionState.TRASH) {
             g.setColor(Color.BLACK);
             g.drawLine(x, y, x + width, y + height);
             g.drawLine(x, y + height, x + width, y);