← Back to branch summary

~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

« back to all changes in this revision

Viewing changes to src/pipe/gui/GuiFrameController.java

  • Committer: srba.jiri at gmail
  • Date: 2020-08-19 12:02:28 UTC
  • mfrom: (1071.2.34 untimed-timed-gui)
  • Revision ID: srba.jiri@gmail.com-20200819120228-ktxdev3ou3kuj3l0
merged in lp:~tapaal-contributor/tapaal/untimed-timed-gui adding timed/untimed lens projection

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/GuiFrameController.java
85
85
 
86
86
        DelayEnabledTransitionControl.setDefaultDelayMode(prefs.getDelayEnabledTransitionDelayMode());
87
87
        DelayEnabledTransitionControl.setDefaultGranularity(prefs.getDelayEnabledTransitionGranularity());
88
 
        DelayEnabledTransitionControl.setDefaultIsRandomTransition(prefs.getDelayEnabledTransitionIsRandomTransition());
 
88
        SimulationControl.setDefaultIsRandomTransition(prefs.getDelayEnabledTransitionIsRandomTransition());
89
89
 
90
90
        showToolTips = prefs.getShowToolTips();
91
91
        setDisplayToolTips(showToolTips);
221
221
        prefs.setShowTokenAge(guiFrameDirectAccess.showTokenAge());
222
222
        prefs.setDelayEnabledTransitionDelayMode(DelayEnabledTransitionControl.getDefaultDelayMode());
223
223
        prefs.setDelayEnabledTransitionGranularity(DelayEnabledTransitionControl.getDefaultGranularity());
224
 
        prefs.setDelayEnabledTransitionIsRandomTransition(DelayEnabledTransitionControl.isRandomTransition());
 
224
        prefs.setDelayEnabledTransitionIsRandomTransition(SimulationControl.isRandomTransition());
225
225
 
226
226
        JOptionPane.showMessageDialog(guiFrameDirectAccess,
227
227
                "The workspace has now been saved into your preferences.\n"
726
726
        //showDelayEnabledTransitions(advanced);
727
727
        DelayEnabledTransitionControl.getInstance().setValue(new BigDecimal("0.1"));
728
728
        DelayEnabledTransitionControl.getInstance().setDelayMode(ShortestDelayMode.getInstance());
729
 
        DelayEnabledTransitionControl.getInstance().setRandomTransitionMode(false);
 
729
        SimulationControl.getInstance().setRandomTransitionMode(false);
730
730
    }
731
731
 
732
732
}