From f5773775c4038a1756b14846dbe81f1e67e9372c Mon Sep 17 00:00:00 2001 From: rensink Date: Sun, 30 Jun 2024 22:36:06 +0200 Subject: [PATCH] Merge branch 'master' of git@github.com:nl-utwente-groove/code.git Best I can do for gh issue #773 --- .../java/nl/utwente/groove/gui/display/ResourceDisplay.java | 3 ++- 1 file changed, 2 insertions(+), 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 index e03cfdd3b..7c3c38763 100644 --- 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()); } /**