Changeset 1245 for trunk/src/org/expeditee/gui/DisplayController.java
- Timestamp:
- 03/18/19 09:43:05 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gui/DisplayController.java
r1244 r1245 70 70 71 71 // To help title calculations on frame 72 public static final int MINIMUM_FRAME_WIDTH = 512; 72 public static final int MINIMUM_FRAME_WIDTH = 512; 73 public static final int MINIMUM_FRAME_HEIGHT = 512; 74 75 private static boolean DISPLAYED_ABOVE_MINIMUM_FRAME_WIDTH = false; 73 76 74 77 /** Convenience definition of TwinFramesSide.LEFT. */ … … 1242 1245 } 1243 1246 1247 public static Dimension getSizeEnforceMinimum() { 1248 Dimension actual_dim = getFramePaintArea().getSize(); 1249 1250 int enforced_width = Math.max(actual_dim.width, MINIMUM_FRAME_WIDTH); 1251 int enforced_height = Math.max(actual_dim.height,MINIMUM_FRAME_HEIGHT); 1252 1253 Dimension enforced_dim = new Dimension(enforced_width,enforced_height); 1254 1255 return enforced_dim; 1256 } 1257 1244 1258 /** Tells the display controller to get the current window size. */ 1245 1259 public static void refreshWindowSize() … … 1247 1261 _windowSize = EcosystemManager.getGraphicsManager().getWindowSize(); 1248 1262 _refreshBuffer = Image.createImage(_windowSize, true); 1263 if (_windowSize.getWidth() > MINIMUM_FRAME_WIDTH) { 1264 DISPLAYED_ABOVE_MINIMUM_FRAME_WIDTH = true; 1265 } 1249 1266 refreshPaintAreas(); 1250 1267 }
Note:
See TracChangeset
for help on using the changeset viewer.