← 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/ArcPathPointHandler.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/ArcPathPointHandler.java
40
40
                if (((ArcPathPoint) myObject).getIndex() == 0) {
41
41
                        return null;
42
42
                } else {
43
 
                        JMenuItem menuItem = new JMenuItem(new ToggleArcPointAction(
44
 
                                        (ArcPathPoint) myObject));
 
43
                        JMenuItem menuItem = new JMenuItem(new ToggleArcPointAction((ArcPathPoint) myObject));
 
44
 
45
45
                        if (((ArcPathPoint) myObject).getPointType() == ArcPathPoint.STRAIGHT) {
46
46
                                menuItem.setText("Change to Curved");
47
47
                        } else {
49
49
                        }
50
50
                        popup.insert(menuItem, 0);
51
51
 
52
 
                        menuItem = new JMenuItem(new SplitArcPointAction(
53
 
                                        (ArcPathPoint) myObject));
 
52
                        menuItem = new JMenuItem(new SplitArcPointAction((ArcPathPoint) myObject));
54
53
                        menuItem.setText("Split Point");
55
54
                        popup.add(menuItem, 1);
56
55
 
57
 
                        // The following commented out code can be used for
58
 
                        // debugging arc issues - Nadeem 18/07/2005
59
 
                        /*
60
 
                         * menuItem = new JMenuItem(new
61
 
                         * GetIndexAction((ArcPathPoint)myObject, e.getPoint()));
62
 
                         * menuItem.setText("Point Index"); menuItem.setEnabled(false);
63
 
                         * popup.add(menuItem);
64
 
                         */
65
56
                }
66
57
                return popup;
67
58
        }
84
75
        @Override
85
76
        public void mouseWheelMoved(MouseWheelEvent e) {
86
77
                if (e.isShiftDown()) {
87
 
                        CreateGui.getCurrentTab().getUndoManager().addNewEdit(
88
 
                                        ((ArcPathPoint) myObject).togglePointType());
 
78
                    CreateGui.getCurrentTab().getUndoManager().addNewEdit(
 
79
                            ((ArcPathPoint) myObject).togglePointType()
 
80
            );
89
81
                }
90
82
        }
91
83