From 66f278eaf0e594e09a40f7f6142e028feae3576c 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 14:08:15 +0100
Subject: [PATCH] Refresh pins on view change

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

diff --git a/src/com/jpexs/decompiler/flash/gui/MainPanel.java b/src/com/jpexs/decompiler/flash/gui/MainPanel.java
index 6092dfc79..baea02f28 100644
--- a/src/com/jpexs/decompiler/flash/gui/MainPanel.java
+++ b/src/com/jpexs/decompiler/flash/gui/MainPanel.java
@@ -4445,6 +4445,7 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se
                     }
                 });
 
+                refreshPins();                
                 reload(true);
                 return true;
             case VIEW_TIMELINE:
@@ -4479,6 +4480,7 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se
                 }
                 showTreePanelCard(TAGLIST_VIEW);
                 treePanelMode = TreePanelMode.TAGLIST_TREE;
+                refreshPins();                
                 reload(true);
                 return true;
         }