Refreshing pins after saving

This commit is contained in:
Jindra Petřík
2022-11-20 13:12:18 +01:00
parent f7ec47c024
commit 419ea75d9c
2 changed files with 7 additions and 0 deletions

View File

@@ -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");