ABCExplorer - close on reload

This commit is contained in:
Jindra Petřík
2023-09-30 22:59:07 +02:00
parent 04d526ddeb
commit 691d833f1e
2 changed files with 19 additions and 3 deletions

View File

@@ -220,7 +220,7 @@ public class Main {
public static CancellableWorker importWorker = null;
public static CancellableWorker deobfuscatePCodeWorker = null;
public static CancellableWorker swfPrepareWorker = null;
public static CancellableWorker swfPrepareWorker = null;
public static boolean isSwfAir(Openable openable) {
SwfSpecificCustomConfiguration conf = Configuration.getSwfSpecificCustomConfiguration(openable.getShortPathTitle());
@@ -1891,6 +1891,12 @@ public class Main {
}
}
if (mainFrame != null) {
for (Openable o : swf.items) {
mainFrame.getPanel().closeAbcExplorer(o);
}
}
openFile(swf.sourceInfo, null, sourceInfos.indexOf(swf.sourceInfo));
}
@@ -2786,7 +2792,7 @@ public class Main {
mainFrame.getPanel().tagListTree.setSelectionPathString(Configuration.lastSessionTagListSelection.get());
setSessionLoaded(true);
mainFrame.getPanel().reload(true);
mainFrame.getPanel().updateUiWithCurrentOpenable();
mainFrame.getPanel().updateUiWithCurrentOpenable();
});
}
}
@@ -3197,5 +3203,5 @@ public class Main {
} catch (Exception ex) {
throw new RuntimeException("Problems with creating the log files");
}
}
}
}