Changeset 1402 for trunk/src/org/expeditee/gui/FrameUtils.java
- Timestamp:
- 06/04/19 14:29:49 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gui/FrameUtils.java
r1393 r1402 71 71 import org.expeditee.items.JSItem; 72 72 import org.expeditee.items.Line; 73 import org.expeditee.items.Permission Pair;73 import org.expeditee.items.PermissionTriple; 74 74 import org.expeditee.items.Picture; 75 75 import org.expeditee.items.Text; … … 491 491 } 492 492 493 final Permission PairframePermissions = toDisplay.getPermission();493 final PermissionTriple framePermissions = toDisplay.getPermission(); 494 494 if (framePermissions != null 495 && framePermissions.getPermission(toDisplay.getOwner() ) == UserAppliedPermission.denied) {495 && framePermissions.getPermission(toDisplay.getOwner(), new ArrayList<String>()) == UserAppliedPermission.denied) { 496 496 MessageBay.errorMessage("Insufficient permissions to navigate to frame: " + toDisplay.getName()); 497 497 return; … … 1020 1020 String level = new AttributeValuePair(i.getText()).getValue(); 1021 1021 // default permission (if none is specified) 1022 Permission Pair permissionLevel = new PermissionPair(level,1022 PermissionTriple permissionLevel = new PermissionTriple(level, 1023 1023 UserAppliedPermission.followLinks); 1024 1024 … … 1029 1029 if (existingOverlay == null) { 1030 1030 Overlay newOverlay = new Overlay(overlayFrame, 1031 permissionLevel.getPermission(overlayFrame.getOwner() ));1031 permissionLevel.getPermission(overlayFrame.getOwner(), new ArrayList<String>())); 1032 1032 i.setOverlay(newOverlay); 1033 1033 overlays.add(newOverlay);
Note:
See TracChangeset
for help on using the changeset viewer.