Merge branch 'master' of [email protected]:nl-utwente-groove/code.git

Best I can do for gh issue #773
nl-utwente-groove · Jun 30, 2024 · f577377 · f577377
1 parent 7251560
commit f577377
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/main/java/nl/utwente/groove/gui/display/ResourceDisplay.java b/src/main/java/nl/utwente/groove/gui/display/ResourceDisplay.java
@@ -647,7 +647,8 @@ final public Icon getListIcon(QualName name) {
      * tab component.
      */
     public final String getLabelText(QualName name) {
-        return getLabelText(name, "", getResource(name).isActive());
+        var model = getResource(name);
+        return getLabelText(name, "", model != null && model.isActive());
     }
 
     /**