Changeset 15731
- Timestamp:
- 2008-05-27 18:02:49 (6 months ago)
- Files:
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
other-projects/trunk/gs3-webservices-democlient/src/GS3DemoClient/org/greenstone/gs3client/GS3JavaClient.java
r15673 r15731 95 95 /** The Logger for this class */ 96 96 static Logger LOG = Logger.getLogger(GS3JavaClient.class); 97 97 98 98 /** The value of the SEARCHING activity */ 99 99 public static int SEARCHING = 0; … … 1063 1063 // where it disappears under the bar at the bottom) 1064 1064 java.awt.Dimension d = Toolkit.getDefaultToolkit().getScreenSize(); 1065 if(System.getProperty("os.name"). equalsIgnoreCase("Windows")) {1065 if(System.getProperty("os.name").toLowerCase().contains("windows")) { 1066 1066 d.setSize(d.getWidth()-100, d.getHeight()-100); 1067 1067 }
