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

shows modified status in the window title

Browse Source
This commit is contained in:
hneemann 2019-09-28 09:21:49 +02:00
parent 34ada97add
commit 6fd75f5705
3 changed files with 18 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/java/de/neemann/digital/analyse/TruthTableTableModel.java
View File

@ -79,15 +79,18 @@ public class TruthTableTableModel implements TableModel {
else
setValue(rowIndex, columnIndex, 2);
}
fireModelEvent(rowIndex);
}
private void setValue(int rowIndex, int columnIndex, int val) {
int actVal = undoManager.getActual().getValue(rowIndex, columnIndex);
if (actVal != val) {
try {
undoManager.apply(truthTable -> truthTable.setValue(rowIndex, columnIndex, val));
} catch (ModifyException e) {
e.printStackTrace();
}
fireModelEvent(rowIndex);
}
}
private void fireModelEvent(int rowIndex) {

9
src/main/java/de/neemann/digital/gui/components/table/TableDialog.java
View File

@ -327,14 +327,17 @@ public class TableDialog extends JDialog {
}
}
}.setAcceleratorCTRLplus("Y");
edit.add(undo.createJMenuItem());
edit.add(redo.createJMenuItem());
undoManager.addListener(() -> {
undo.setEnabled(undoManager.undoAvailable());
redo.setEnabled(undoManager.redoAvailable());
});
undo.setEnabled(undoManager.undoAvailable());
redo.setEnabled(undoManager.redoAvailable());
if (undoManager.isModified())
setTitle("*" + Lang.get("win_table"));
else
setTitle(Lang.get("win_table"));
}).hasChanged();
}
/**

5
src/main/java/de/neemann/digital/undo/UndoManager.java
View File

@ -45,6 +45,7 @@ public class UndoManager<A extends Copyable<A>> {
modifications = new ArrayList<>();
modificationCounter = 0;
savedCounter = 0;
fireChangedEvent();
}
@ -187,9 +188,11 @@ public class UndoManager<A extends Copyable<A>> {
* Adds a listener
*
* @param listener the listener to add
* @return the given listener for chained calls.
*/
public void addListener(ChangedListener listener) {
public ChangedListener addListener(ChangedListener listener) {
listeners.add(listener);
return listener;
}
/**