Resolved GUI bug occurring when deleting a text resource

nl-utwente-groove · Dec 4, 2024 · c51466b · c51466b
1 parent d992b74
commit c51466b
Showing 1 changed file with 4 additions and 1 deletion.
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();
+                }
             }
         };
     }