← Back to branch summary

~tapaal-contributor/tapaal/align-to-grid

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2019-08-16 16:00:59 UTC
  • mfrom: (1009.1.50 SmartDrawDec)
  • Revision ID: srba@cs.aau.dk-20190816160059-m3gs4m69szmspr1x
merged in lp:~tapaal-contributor/tapaal/SmartDrawDevelopment allowing for automatic net layout

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/handler/LabelHandler.java
65
65
                // obj.setNameOffsetY((e.getYOnScreen() - dragInit.y)); //causes
66
66
                // exception in Windows!
67
67
                // dragInit = e.getLocationOnScreen(); //causes exception in Windows!
68
 
                obj.setNameOffsetX((p.x - dragInit.x));
69
 
                obj.setNameOffsetY((p.y - dragInit.y));
 
68
                obj.updateNameOffsetX((p.x - dragInit.x));
 
69
                obj.updateNameOffsetY((p.y - dragInit.y));
70
70
                dragInit = p;
71
71
                obj.updateOnMoveOrZoom();
72
72
        }