Changeset 15731
- Timestamp:
- 2008-05-27T18:02:49+12:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
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 }
Note:
See TracChangeset
for help on using the changeset viewer.