Fixed Pin header proper selection

2026-09-25 10:50:47 +00:00 · 2022-11-20 22:12:19 +01:00
parent b971c4c754
commit c129753f04
1 changed files with 3 additions and 0 deletions
@@ -129,6 +129,9 @@ public class PinsPanel extends JPanel {
        }

        if (currentNoTs == itemNoTs) {
+            if (currentUnpinnedButton != null) {
+                currentUnpinnedButton.setSelected(true);
+            }
            return;
        }