← 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/handler/TimedArcHandler.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/handler/TimedArcHandler.java
1
1
package pipe.gui.handler;
2
2
 
3
 
import java.awt.Container;
4
 
import java.awt.event.ActionEvent;
5
 
import java.awt.event.ActionListener;
6
3
import java.awt.event.MouseEvent;
7
 
import java.awt.geom.Point2D;
8
4
 
9
5
import javax.swing.JMenuItem;
10
6
import javax.swing.JPopupMenu;
34
30
                                && !(myObject instanceof TimedTransportArcComponent)) {
35
31
                        if (!CreateGui.getModel().netType().equals(NetType.UNTIMED) && !(myObject instanceof TimedInhibitorArcComponent)) {
36
32
                                menuItem = new JMenuItem("Properties");
37
 
                                menuItem.addActionListener(new ActionListener() {
38
 
                                        public void actionPerformed(ActionEvent e) {
39
 
                                                ((TimedInputArcComponent) myObject).showTimeIntervalEditor();
40
 
                                        }
41
 
                                });
 
33
                                menuItem.addActionListener(e1 -> ((TimedInputArcComponent) myObject).showTimeIntervalEditor());
42
34
                                popup.insert(menuItem, popupIndex++);
43
35
                        }
44
36
                        /*