← 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/widgets/ConstantsDialogPanel.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/widgets/ConstantsDialogPanel.java
4
4
import java.awt.GridBagConstraints;
5
5
import java.awt.GridBagLayout;
6
6
import java.awt.Insets;
7
 
import java.awt.event.ActionEvent;
8
 
import java.awt.event.ActionListener;
9
7
import java.awt.event.KeyEvent;
10
8
import java.io.IOException;
11
9
import java.util.regex.Pattern;
17
15
import javax.swing.JRootPane;
18
16
import javax.swing.JSpinner;
19
17
import javax.swing.JTextField;
 
18
 
 
19
import net.tapaal.swinghelpers.CustomJSpinner;
 
20
import net.tapaal.swinghelpers.RequestFocusListener;
20
21
import pipe.gui.CreateGui;
21
22
import dk.aau.cs.gui.undo.Command;
22
23
import dk.aau.cs.model.tapn.Constant;
102
103
                nameTextField = new javax.swing.JTextField();   
103
104
                nameTextField.setPreferredSize(size);
104
105
                nameTextField.addAncestorListener(new RequestFocusListener());
105
 
                nameTextField.addActionListener(new ActionListener() {                  
106
 
                        public void actionPerformed(ActionEvent e) {
107
 
                                okButton.requestFocusInWindow();
108
 
                                okButton.doClick();
109
 
                        }
 
106
                nameTextField.addActionListener(e -> {
 
107
                        okButton.requestFocusInWindow();
 
108
                        okButton.doClick();
110
109
                });
111
110
 
112
111
                GridBagConstraints gbc = new GridBagConstraints();
178
177
                container.add(valueSpinner,gbc);
179
178
                
180
179
                //add action listeners for buttons
181
 
                okButton.addActionListener(new ActionListener() {
182
 
                        public void actionPerformed(ActionEvent e) {
183
 
                                onOK();
184
 
                        }
185
 
                });
 
180
                okButton.addActionListener(e -> onOK());
186
181
                
187
 
                cancelButton.addActionListener(new ActionListener() {
188
 
                        public void actionPerformed(ActionEvent e) {
189
 
                                exit();
190
 
                        }
191
 
                });
 
182
                cancelButton.addActionListener(e -> exit());
192
183
                
193
184
                //add button container
194
185
                gbc = new GridBagConstraints();
277
268
                                        valueSpinner.requestFocusInWindow();
278
269
                                        return;
279
270
                                } else {
280
 
                                        CreateGui.getCurrentTab().drawingSurface().getUndoManager()
 
271
                                        CreateGui.getCurrentTab().getUndoManager()
281
272
                                        .addNewEdit(edit);
282
273
                                        CreateGui.getCurrentTab().drawingSurface().repaintAll();
283
274
                                        exit();
295
286
                                        nameTextField.requestFocusInWindow();
296
287
                                        return;
297
288
                                } else
298
 
                                        CreateGui.getDrawingSurface().getUndoManager().addNewEdit(edit);
 
289
                                        CreateGui.getCurrentTab().getUndoManager().addNewEdit(edit);
299
290
                                exit();
300
291
                        }
301
292
                        model.buildConstraints();