Changeset 174
- Timestamp:
- 07/30/08 13:38:22 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gui/FrameMouseActions.java
r172 r174 932 932 return; 933 933 } 934 935 if (on instanceof WidgetEdge) { 936 // Dont allow the user to break widget edges. 937 // Note: had to return here because random dots would 938 // appear otherwise... cannot understand code below 939 // with create line. 940 return; 941 } 934 942 935 943 // if its on a line then split the line and put a point on it and 936 // pick that point up 944 // pick that point up. Only if it is not a widget line 937 945 if (on instanceof Line && on.hasPermission(Permission.full)) { 938 946 Frame current = DisplayIO.getCurrentFrame();
Note:
See TracChangeset
for help on using the changeset viewer.