← 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/PlaceHandler.java

merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/handler/PlaceHandler.java
37
37
                JPopupMenu popup = super.getPopup(e);
38
38
 
39
39
                JMenuItem menuItem = new JMenuItem("Edit Place");
40
 
                menuItem.addActionListener(e1 -> ((Place) myObject).showEditor());
 
40
                menuItem.addActionListener(o -> ((Place) myObject).showEditor());
41
41
                popup.insert(menuItem, index++);
42
42
 
43
43
                menuItem = new JMenuItem(new ShowHideInfoAction((Place) myObject));
55
55
        @Override
56
56
        public void mouseClicked(MouseEvent e) {
57
57
                if (SwingUtilities.isLeftMouseButton(e)) {
58
 
                        if (e.getClickCount() == 2
59
 
                                        && CreateGui.getApp().isEditionAllowed()
60
 
                                        && (CreateGui.getApp().getMode() == ElementType.PLACE || CreateGui.getApp().getMode() == ElementType.SELECT)) {
 
58
            if (e.getClickCount() == 2 &&
 
59
                CreateGui.getApp().isEditionAllowed() &&
 
60
                (CreateGui.getApp().getMode() == ElementType.PLACE || CreateGui.getApp().getMode() == ElementType.SELECT)
 
61
            ) {
61
62
                                ((TimedPlaceComponent) myObject).showAgeOfTokens(false);
62
63
                                ((Place) myObject).showEditor();
63
64
                        } else {