Changeset 12452

Timestamp:

2006-08-16T11:51:15+12:00 (18 years ago)

Author:

mdewsnip

Message:

Added a check to make sure we're not setting the GUIManager width and height to 0, to try and fix a problem reported on the mailing list.

File:

• trunk/gli/src/org/greenstone/gatherer/Gatherer.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/Gatherer.java

@@ -451 +451 @@
         size.width = 640;
     }
-    else if (size.width > Configuration.screen_size.width) {
+    else if (size.width > Configuration.screen_size.width && Configuration.screen_size.width > 0) {
         size.width = Configuration.screen_size.width;
     }
@@ -457 +457 @@
         size.height = 480;
     }
-    else if (size.height > Configuration.screen_size.height) {
+    else if (size.height > Configuration.screen_size.height && Configuration.screen_size.height > 0) {
         size.height = Configuration.screen_size.height;
     }