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

Fixed a bug in the table reorder algorithm.

Browse Source
This commit is contained in:
hneemann 2019-11-19 07:55:23 +01:00
parent 65c0cfd700
commit e2c95175b6
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/main/java/de/neemann/digital/analyse/TruthTable.java
View File

@ -171,6 +171,7 @@ public class TruthTable implements Copyable<TruthTable> {
variables.clear(); variables.clear();
variables.addAll(vars); variables.addAll(vars);
results.clear(); results.clear();
bitSetter = null;
} }
/** /**

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

@ -212,11 +212,11 @@ public class TableDialog extends JDialog {
undoManager.apply(tt -> { undoManager.apply(tt -> {
try { try {
new ReorderInputs(tt, varNames).reorder(); new ReorderInputs(tt, varNames).reorder();
tableChanged();
} catch (ExpressionException ex) { } catch (ExpressionException ex) {
throw new ModifyException("failed to reorder", ex); throw new ModifyException("failed to reorder", ex);
} }
}); });
tableChanged();
} catch (ModifyException e1) { } catch (ModifyException e1) {
new ErrorMessage().addCause(e1).show(TableDialog.this); new ErrorMessage().addCause(e1).show(TableDialog.this);
} }
@ -248,11 +248,11 @@ public class TableDialog extends JDialog {
undoManager.apply(tt -> { undoManager.apply(tt -> {
try { try {
new ReorderOutputs(tt, resultNames).reorder(); new ReorderOutputs(tt, resultNames).reorder();
tableChanged();
} catch (ExpressionException ex) { } catch (ExpressionException ex) {
throw new ModifyException("failed to reorder", ex); throw new ModifyException("failed to reorder", ex);
} }
}); });
tableChanged();
} catch (ModifyException e1) { } catch (ModifyException e1) {
new ErrorMessage().addCause(e1).show(TableDialog.this); new ErrorMessage().addCause(e1).show(TableDialog.this);
} }