Changeset 1193 for trunk/src/org/expeditee/gui
- Timestamp:
- 11/05/18 16:32:46 (6 years ago)
- Location:
- trunk/src/org/expeditee/gui
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gui/Frame.java
r1181 r1193 733 733 public void setPermission(PermissionPair permission) 734 734 { 735 if (_permissionPair != null && _permissionPair.getPermission(this._owner).equals(permission)) {735 if (_permissionPair != null && !_permissionPair.getPermission(this._owner).equals(permission.getPermission(this._owner))) { 736 736 _protectionChanged = true; 737 737 } -
trunk/src/org/expeditee/gui/FrameUtils.java
r1173 r1193 48 48 import org.expeditee.items.Circle; 49 49 import org.expeditee.items.Dot; 50 import org.expeditee.items.DotType;51 50 import org.expeditee.items.FrameBitmap; 52 51 import org.expeditee.items.FrameImage; … … 493 492 return; 494 493 } 494 495 final PermissionPair framePermissions = toDisplay.getPermission(); 496 if (framePermissions != null && framePermissions.getPermission(toDisplay.getOwner()) == UserAppliedPermission.denied) { 497 MessageBay.errorMessage("Insufficient permissions to navigate to frame: " + toDisplay.getName()); 498 return; 499 } 495 500 496 501 Frame current = DisplayController.getCurrentFrame(); … … 931 936 } 932 937 933 DotType pointtype = DotType.square;934 boolean filledPoints = true;938 //DotType pointtype = DotType.square; 939 //boolean filledPoints = true; 935 940 936 941 UserAppliedPermission permission = toParse.getUserAppliedPermission(); … … 961 966 .indexOf(" ") + 1); 962 967 if (fill.startsWith("nofill")) { 963 filledPoints = false;968 //filledPoints = false; 964 969 } else { 965 filledPoints = true;970 //filledPoints = true; 966 971 } 967 972 } 968 973 969 974 if (line.startsWith("circle")) { 970 pointtype = DotType.circle;975 //pointtype = DotType.circle; 971 976 } else { 972 pointtype = DotType.square;977 //pointtype = DotType.square; 973 978 } 974 979 }
Note:
See TracChangeset
for help on using the changeset viewer.