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

removed a not needed graphic update

Browse Source
This commit is contained in:
hneemann 2020-04-13 11:59:33 +02:00
parent 191d9b55e9
commit f5fbb8b5cc
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -133,6 +133,7 @@ public final class Main extends JFrame implements ClosingWindowListener.ConfirmS
private final WindowPosManager windowPosManager; private final WindowPosManager windowPosManager;
private final InsertHistory insertHistory; private final InsertHistory insertHistory;
private final boolean keepPrefMainFile; private final boolean keepPrefMainFile;
private final FileHistory fileHistory;
private ToolTipAction doMicroStep; private ToolTipAction doMicroStep;
private ToolTipAction runToBreakMicroAction; private ToolTipAction runToBreakMicroAction;
@ -143,7 +144,6 @@ public final class Main extends JFrame implements ClosingWindowListener.ConfirmS
private File baseFilename; private File baseFilename;
private File filename; private File filename;
private FileHistory fileHistory;
private boolean modifiedPrefixVisible = false; private boolean modifiedPrefixVisible = false;
private Model model; private Model model;
@ -1031,7 +1031,7 @@ public final class Main extends JFrame implements ClosingWindowListener.ConfirmS
}.setToolTip(Lang.get("menu_runAllTests_tt")).setAccelerator("F11"); }.setToolTip(Lang.get("menu_runAllTests_tt")).setAccelerator("F11");
ToolTipAction speedTest = new ToolTipAction(Lang.get("menu_speedTest")) { ToolTipAction speedTest = new ToolTipAction(Lang.get("menu_speedTest")) {
private NumberFormat format = new DecimalFormat("0.0"); private final NumberFormat format = new DecimalFormat("0.0");
@Override @Override
public void actionPerformed(ActionEvent e) { public void actionPerformed(ActionEvent e) {
@ -1851,7 +1851,6 @@ public final class Main extends JFrame implements ClosingWindowListener.ConfirmS
model.modify(() -> clkVal.setBool(!clkVal.getBool())); model.modify(() -> clkVal.setBool(!clkVal.getBool()));
model.doStep(); model.doStep();
} }
circuitComponent.graphicHasChanged();
addressPicker.getProgramROMAddress(model); addressPicker.getProgramROMAddress(model);
} catch (NodeException | RuntimeException e) { } catch (NodeException | RuntimeException e) {
showErrorAndStopModel(Lang.get("err_remoteExecution"), e); showErrorAndStopModel(Lang.get("err_remoteExecution"), e);
@ -1884,10 +1883,7 @@ public final class Main extends JFrame implements ClosingWindowListener.ConfirmS
@Override @Override
public void stop() { public void stop() {
SwingUtilities.invokeLater(() -> { SwingUtilities.invokeLater(this::ensureModelIsStopped);
ensureModelIsStopped();
circuitComponent.graphicHasChanged();
});
} }
//********************** //**********************
// remote interface end // remote interface end