← Back to branch summary

~tapaal-contributor/tapaal/display-shared-places-transitions-1879126

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2020-04-28 19:15:28 UTC
  • mfrom: (998.2.376 testbranch)
  • Revision ID: srba@cs.aau.dk-20200428191528-3xxjqa1r4jcob5ur
merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/AnimationSettings.java
26
26
                simControl = SimulationControl.getInstance();
27
27
                simControl.showCheckbox(true);
28
28
                
29
 
                simControl.addRandomSimulationActionListener(new ActionListener() {
30
 
                        public void actionPerformed(ActionEvent e) {
31
 
                                if(simControl.randomSimulation()){
32
 
                                        delayEnabled.randomMode.setSelected(true);
33
 
                                }
34
 
                                CreateGui.getCurrentTab().getTransitionFireingComponent().updateFireButton();
 
29
                simControl.addRandomSimulationActionListener(e -> {
 
30
                        if(simControl.randomSimulation()){
 
31
                                delayEnabled.randomMode.setSelected(true);
35
32
                        }
 
33
                        CreateGui.getCurrentTab().getTransitionFireingComponent().updateFireButton();
36
34
                });
37
35
                
38
36
                content.add(delayEnabled, BorderLayout.NORTH);