SwingGroupingInputHarvester: Indicate open/closed groups

scenerygraphics · Jul 7, 2023 · f0d3751 · f0d3751
1 parent 24bb82d
commit f0d3751
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/kotlin/sc/iview/ui/SwingGroupingInputHarvester.kt b/src/main/kotlin/sc/iview/ui/SwingGroupingInputHarvester.kt
@@ -95,7 +95,7 @@ class SwingGroupingInputHarvester : SwingInputHarvester() {
                         if(panel.component.isVisible) {
                             label.text = "<html><strong>▼ ${group.key}</strong></html>"
                         } else {
-                            label.text = "<html><strong>▶ ${group.key}</strong></html>"
+                            label.text = """<html><strong><span style="color: gray;">▶</span> ${group.key}</strong></html>"""
                         }
                         inputPanel.component.revalidate()
                     }