← Back to branch summary

~yrke/tapaal/slimImageIcons-2

« back to all changes in this revision

Viewing changes to src/pipe/gui/SimulationControl.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/SimulationControl.java
4
4
import java.awt.GridBagConstraints;
5
5
import java.awt.GridBagLayout;
6
6
import java.awt.Insets;
7
 
import java.awt.LayoutManager;
8
 
import java.awt.event.ActionEvent;
9
7
import java.awt.event.ActionListener;
10
8
import java.awt.event.ComponentAdapter;
11
9
import java.awt.event.ComponentEvent;
12
 
import java.awt.event.ComponentListener;
13
 
import java.awt.event.WindowEvent;
14
 
import java.awt.event.WindowListener;
15
10
 
16
11
import javax.swing.BorderFactory;
17
12
import javax.swing.JButton;
20
15
import javax.swing.JPanel;
21
16
import javax.swing.JSlider;
22
17
import javax.swing.Timer;
23
 
import javax.swing.event.ChangeEvent;
24
 
import javax.swing.event.ChangeListener;
25
18
 
26
19
import pipe.gui.widgets.EscapableDialog;
27
20
 
61
54
                simulationSpeed.setPaintTrack(false);
62
55
                simulationSpeed.setPreferredSize(new Dimension(340, simulationSpeed.getPreferredSize().height));
63
56
                
64
 
                simulationSpeed.addChangeListener(new ChangeListener() {
65
 
                        public void stateChanged(ChangeEvent e) {
66
 
                                if(timer != null){
67
 
                                        setDelay((100 - simulationSpeed.getValue())*20);
68
 
                                }
 
57
                simulationSpeed.addChangeListener(e -> {
 
58
                        if(timer != null){
 
59
                                setDelay((100 - simulationSpeed.getValue())*20);
69
60
                        }
70
61
                });
71
62
                
110
101
        }
111
102
        
112
103
        private void initTimer(){
113
 
                timer = new Timer(simulationSpeed.getValue()*20, new ActionListener() {
114
 
                        @Override
115
 
                        public void actionPerformed(ActionEvent e) {
116
 
                                CreateGui.getCurrentTab().getTransitionFireingComponent().fireSelectedTransition();
117
 
                        }
118
 
                });
 
104
                timer = new Timer(simulationSpeed.getValue()*20, e -> CreateGui.getCurrentTab().getTransitionFireingComponent().fireSelectedTransition());
119
105
                timer.setRepeats(true);
120
106
        }
121
107
 
147
133
                JPanel contentPane = new JPanel(new GridBagLayout());
148
134
                
149
135
                JButton stopSimulationButton = new JButton("Stop");
150
 
                stopSimulationButton.addActionListener(new ActionListener() {
151
 
                        
152
 
                        public void actionPerformed(ActionEvent arg0) {
153
 
                                dialog.setVisible(false);
154
 
                        }
155
 
                });
 
136
                stopSimulationButton.addActionListener(arg0 -> dialog.setVisible(false));
156
137
                
157
138
                getInstance().showCheckbox(false);
158
139
                GridBagConstraints gbc = new GridBagConstraints();