← Back to branch summary

~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012

« back to all changes in this revision

Viewing changes to src/pipe/gui/handler/ArcHandler.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2019-03-13 07:17:48 UTC
  • mfrom: (989 tapaal)
  • mto: This revision was merged to the branch mainline in revision 991.
  • Revision ID: kenneth@yrke.dk-20190313071748-fm6dc00yy27un3xd
Merged with trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/handler/ArcHandler.java
54
54
        }
55
55
        
56
56
        public void mousePressed(MouseEvent e) {
 
57
 
 
58
                if (((Arc) myObject).isPrototype()) {
 
59
                        dispatchToParentWithMouseLocationUpdated(e);
 
60
                        return;
 
61
                }
 
62
 
57
63
                if (CreateGui.getApp().isEditionAllowed()) {
58
64
                        if (e.getClickCount() == 2) {
59
65
                                Arc arc = (Arc) myObject;