From 419ea75d9c3ce23d34271736e351f73d5281ea2d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jindra=20Pet=C5=99=C3=ADk?= <jindra.petrik@gmail.com>
Date: Sun, 20 Nov 2022 13:12:18 +0100
Subject: [PATCH] Refreshing pins after saving

---
 src/com/jpexs/decompiler/flash/gui/Main.java      | 3 +++
 src/com/jpexs/decompiler/flash/gui/MainPanel.java | 4 ++++
 2 files changed, 7 insertions(+)

diff --git a/src/com/jpexs/decompiler/flash/gui/Main.java b/src/com/jpexs/decompiler/flash/gui/Main.java
index 537262cb3..51f207cc2 100644
--- a/src/com/jpexs/decompiler/flash/gui/Main.java
+++ b/src/com/jpexs/decompiler/flash/gui/Main.java
@@ -1256,6 +1256,9 @@ public class Main {
         if (mode == SaveFileMode.SAVEAS && openable.getOpenableList() != null /*SWF in binarydata has null*/ && !openable.getOpenableList().isBundle()) {
             openable.setFile(outfile);
             openable.getOpenableList().sourceInfo.setFile(outfile);
+            if (mainFrame != null && mainFrame.getPanel() != null) {
+                mainFrame.getPanel().refreshPins();
+            }
         }
         File outfileF = new File(outfile);
         File tmpFile = new File(outfile + ".tmp");
diff --git a/src/com/jpexs/decompiler/flash/gui/MainPanel.java b/src/com/jpexs/decompiler/flash/gui/MainPanel.java
index b5b6c27cb..992ba8dfb 100644
--- a/src/com/jpexs/decompiler/flash/gui/MainPanel.java
+++ b/src/com/jpexs/decompiler/flash/gui/MainPanel.java
@@ -420,6 +420,10 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se
         pinsPanel.clear();
     }
     
+    public void refreshPins() {
+        pinsPanel.refresh();
+    }
+    
     public void destroyPins() {
         pinsPanel.destroy();
     }