From bfc094dc27ae9221244710f0e7b17c2a5dd0509b Mon Sep 17 00:00:00 2001 From: hneemann Date: Sat, 1 Apr 2017 16:00:49 +0200 Subject: [PATCH] library root is set if file is saved and there is no root yet. --- src/main/java/de/neemann/digital/gui/Main.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/main/java/de/neemann/digital/gui/Main.java b/src/main/java/de/neemann/digital/gui/Main.java index abbbedd5c..a27db084f 100644 --- a/src/main/java/de/neemann/digital/gui/Main.java +++ b/src/main/java/de/neemann/digital/gui/Main.java @@ -959,7 +959,11 @@ public class Main extends JFrame implements ClosingWindowListener.ConfirmSave, E circuitComponent.getCircuit().save(filename); stoppedState.enter(); setFilename(filename, toPrefs); + library.invalidateElement(filename); + + if (library.getRootFilePath() == null) + library.setRootFilePath(filename.getParentFile()); } catch (IOException e) { new ErrorMessage(Lang.get("msg_errorWritingFile")).addCause(e).show(); }