From 0c812b179bf7f59518b223f5306c412d303d8c63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jindra=20Pet=C5=99=C3=ADk?= <jindra.petrik@gmail.com>
Date: Mon, 6 Jan 2025 19:02:27 +0100
Subject: [PATCH] Fixed: #2384 Vanishing pins on AS3 code editing save, on
 script deletion and few other cases - few more cases

---
 src/com/jpexs/decompiler/flash/gui/MainPanel.java | 6 +++---
 src/com/jpexs/decompiler/flash/gui/PinsPanel.java | 9 ---------
 2 files changed, 3 insertions(+), 12 deletions(-)

diff --git a/src/com/jpexs/decompiler/flash/gui/MainPanel.java b/src/com/jpexs/decompiler/flash/gui/MainPanel.java
index abec903fa0..bfce7bb8ca 100644
--- a/src/com/jpexs/decompiler/flash/gui/MainPanel.java
+++ b/src/com/jpexs/decompiler/flash/gui/MainPanel.java
@@ -470,7 +470,7 @@ public void clearPins() {
     }
 
     public void refreshPins() {
-        pinsPanel.refresh();
+        pinsPanel.load();
     }
 
     public void destroyPins() {
@@ -4796,7 +4796,7 @@ public void treeOperation(Runnable runnable) {
         }
 
         reload(true);
-        pinsPanel.refresh();
+        refreshPins();
     }
 
     public void refreshTree() {
@@ -4825,7 +4825,7 @@ public void refreshTree(Openable[] openables) {
         }
         reload(true);
         updateMissingNeededCharacters();
-        pinsPanel.refresh();
+        refreshPins();
         updateUiWithCurrentOpenable();
     }
 
diff --git a/src/com/jpexs/decompiler/flash/gui/PinsPanel.java b/src/com/jpexs/decompiler/flash/gui/PinsPanel.java
index 8d9f683a81..e75d540acd 100644
--- a/src/com/jpexs/decompiler/flash/gui/PinsPanel.java
+++ b/src/com/jpexs/decompiler/flash/gui/PinsPanel.java
@@ -441,15 +441,6 @@ public void removeItem(TreeItem item) {
             }
         }
     }
-
-    public void refresh() {
-        for (PinButton button : buttons) {
-            button.refresh();
-        }
-        if (currentUnpinnedButton != null) {
-            currentUnpinnedButton.refresh();
-        }
-    }
     
     public void refreshScriptPacks() {
         for (int b = 0; b < buttons.size(); b++) {