TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-29 16:01:19 -04:00
Code Issues Packages Projects Releases Wiki Activity

fixed a bug: undo sets the correct modified state if all modifications are undone.

Browse Source
This commit is contained in:
hneemann 2017-06-02 08:36:49 +02:00
parent dd4a4eb2a9
commit cf93a019ae
3 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/java/de/neemann/digital/draw/elements/Circuit.java
View File

@ -661,7 +661,10 @@ public class Circuit {
listeners.remove(listener);
}
private void fireChangedEvent() {
/**
* notifies listeners about circuit changes
*/
public void fireChangedEvent() {
if (listeners != null)
for (ChangedListener l : listeners)
l.circuitHasChanged();

2
src/main/java/de/neemann/digital/gui/Main.java
View File

@ -1114,7 +1114,7 @@ public final class Main extends JFrame implements ClosingWindowListener.ConfirmS
@Override
public void circuitHasChanged() {
ensureModelIsStopped();
if (!modifiedPrefixVisible)
if (modifiedPrefixVisible != circuitComponent.getCircuit().isModified())
setFilename(filename, false);
}

2
src/main/java/de/neemann/digital/gui/components/CircuitComponent.java
View File

@ -381,7 +381,7 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe
redoAction.setEnabled(true);
if (undoPosition == 0)
undoAction.setEnabled(false);
circuit.modified();
circuit.fireChangedEvent();
repaintNeeded();
}
}