From c129753f04a934c57df4336a59475d6d33fc582e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jindra=20Pet=C5=99=C3=ADk?= <jindra.petrik@gmail.com>
Date: Sat, 19 Nov 2022 20:36:43 +0100
Subject: [PATCH] Fixed Pin header proper selection

---
 src/com/jpexs/decompiler/flash/gui/PinsPanel.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/com/jpexs/decompiler/flash/gui/PinsPanel.java b/src/com/jpexs/decompiler/flash/gui/PinsPanel.java
index b25b4d961..ba8645c96 100644
--- a/src/com/jpexs/decompiler/flash/gui/PinsPanel.java
+++ b/src/com/jpexs/decompiler/flash/gui/PinsPanel.java
@@ -129,6 +129,9 @@ public class PinsPanel extends JPanel {
         }
 
         if (currentNoTs == itemNoTs) {
+            if (currentUnpinnedButton != null) {
+                currentUnpinnedButton.setSelected(true);
+            }
             return;
         }