Resolved GUI bug occurring when deleting a text resource

rensink · rensink · commit c51466bb55d3 · 2024-12-04T10:13:20.000+01:00
diff --git a/src/main/java/nl/utwente/groove/gui/display/TextTab.java b/src/main/java/nl/utwente/groove/gui/display/TextTab.java
@@ -263,7 +263,10 @@ ChangeListener createDirtyListener() {
         return new ChangeListener() {
             @Override
             public void stateChanged(ChangeEvent e) {
-                updateDirty();
+                // possibly the resource has been disposed, in which case we shouldn't do anything
+                if (getResource() != null) {
+                    updateDirty();
+                }
             }
         };
     }

Original file line number	Diff line number	Diff line change
`@@ -263,7 +263,10 @@ ChangeListener createDirtyListener() {`
`263`	`263`	`return new ChangeListener() {`
`264`	`264`	`@Override`
`265`	`265`	`public void stateChanged(ChangeEvent e) {`
`266`		`- updateDirty();`
	`266`	`+ // possibly the resource has been disposed, in which case we shouldn't do anything`
	`267`	`+ if (getResource() != null) {`
	`268`	`+ updateDirty();`
	`269`	`+ }`
`267`	`270`	`}`
`268`	`271`	`};`
`269`	`272`	`}`