- Timestamp:
- 04/12/19 09:30:22 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gio/gesture/StandardGestureActions.java
r1258 r1305 3476 3476 } else if (!item.hasPermission(UserAppliedPermission.full)) { 3477 3477 Item editTarget = item.getEditTarget(); 3478 if (editTarget != item && editTarget.hasPermission(UserAppliedPermission.full)) { 3478 if ((editTarget != item && editTarget.hasPermission(UserAppliedPermission.full)) 3479 || (copy && editTarget.hasPermission(UserAppliedPermission.copy))) { 3479 3480 item = editTarget; 3480 3481 } else {
Note:
See TracChangeset
for help on using the changeset viewer.