Fixed: #2384 Vanishing pins on AS3 code editing save, on script delet…

…ion and few other cases - few more cases
jindrapetrik · Jan 6, 2025 · 0c812b1 · 0c812b1
1 parent b3d3379
commit 0c812b1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 12 deletions.
diff --git 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
@@ -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++) {