Changeset 1413 for trunk/src/org/expeditee/gui/DisplayController.java
- Timestamp:
- 06/25/19 13:57:37 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gui/DisplayController.java
r1363 r1413 42 42 import org.expeditee.core.bounds.AxisAlignedBoxBounds; 43 43 import org.expeditee.core.bounds.Bounds; 44 import org.expeditee.encryption.items.surrogates.Label; 44 45 import org.expeditee.gio.EcosystemManager; 45 46 import org.expeditee.gio.GraphicsManager; … … 1228 1229 } 1229 1230 1231 public static void ToggleSurrogateMode() { 1232 // Turn off x-ray mode if it is on 1233 if (_audienceMode) { 1234 ToggleAudienceMode(); 1235 } 1236 1237 Label.progressSurrogateMode(); 1238 1239 getCurrentFrame().parse(); 1240 getCurrentFrame().refreshSize(); 1241 updateTitle(); 1242 StandardGestureActions.refreshHighlights(); 1243 StandardGestureActions.updateCursor(); 1244 requestRefresh(false); 1245 } 1246 1247 public static void ResetSurrogateMode() { 1248 // Turn off x-ray mode if it is on 1249 if (_audienceMode) { 1250 ToggleAudienceMode(); 1251 } 1252 1253 Label.resetSurrogateMode(); 1254 1255 getCurrentFrame().parse(); 1256 getCurrentFrame().refreshSize(); 1257 updateTitle(); 1258 StandardGestureActions.refreshHighlights(); 1259 StandardGestureActions.updateCursor(); 1260 requestRefresh(false); 1261 } 1262 1230 1263 /** Whether audience mode is currently on. */ 1231 1264 public static boolean isAudienceMode()
Note:
See TracChangeset
for help on using the changeset viewer.