mirror of
https://github.com/hneemann/Digital.git
synced 2025-09-27 15:03:21 -04:00
library root is set if file is saved and there is no root yet.
This commit is contained in:
parent
7c9d656c91
commit
bfc094dc27
@ -959,7 +959,11 @@ public class Main extends JFrame implements ClosingWindowListener.ConfirmSave, E
|
|||||||
circuitComponent.getCircuit().save(filename);
|
circuitComponent.getCircuit().save(filename);
|
||||||
stoppedState.enter();
|
stoppedState.enter();
|
||||||
setFilename(filename, toPrefs);
|
setFilename(filename, toPrefs);
|
||||||
|
|
||||||
library.invalidateElement(filename);
|
library.invalidateElement(filename);
|
||||||
|
|
||||||
|
if (library.getRootFilePath() == null)
|
||||||
|
library.setRootFilePath(filename.getParentFile());
|
||||||
} catch (IOException e) {
|
} catch (IOException e) {
|
||||||
new ErrorMessage(Lang.get("msg_errorWritingFile")).addCause(e).show();
|
new ErrorMessage(Lang.get("msg_errorWritingFile")).addCause(e).show();
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user