← 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/PetriNetObjectHandler.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/PetriNetObjectHandler.java
11
11
import pipe.gui.CreateGui;
12
12
import pipe.gui.Grid;
13
13
import pipe.gui.Pipe.ElementType;
14
 
import pipe.gui.GuiFrame.GUIMode;
15
14
 
16
15
import pipe.gui.graphicElements.PetriNetObject;
17
16
 
92
91
        @Override
93
92
        public void mouseReleased(MouseEvent e) {
94
93
                if(CreateGui.getCurrentTab().isInAnimationMode()) return;
95
 
                // Have to check for popup here as well as on pressed for
96
 
                // crossplatform!!
 
94
                // Have to check for popup here as well as on pressed for crossplatform!!
97
95
                if (CreateGui.getApp().isEditionAllowed() && enablePopup) {
98
96
                        checkForPopup(e);
99
97
                }