Changeset 15731

Show
Ignore:
Timestamp:
27.05.2008 18:02:49 (12 years ago)
Author:
ak19
Message:

Previously, the specific-to-windows resize of the main app didn't work since it was checking for OS=Windows whereas this could be Windows XP for instance. Now it checks for whether OS contains Windows.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • other-projects/trunk/gs3-webservices-democlient/src/GS3DemoClient/org/greenstone/gs3client/GS3JavaClient.java

    r15673 r15731  
    9595    /** The Logger for this class */ 
    9696    static Logger LOG = Logger.getLogger(GS3JavaClient.class); 
    97      
     97         
    9898    /** The value of the SEARCHING activity */ 
    9999    public static int SEARCHING = 0; 
     
    10631063        // where it disappears under the bar at the bottom)  
    10641064        java.awt.Dimension d = Toolkit.getDefaultToolkit().getScreenSize(); 
    1065         if(System.getProperty("os.name").equalsIgnoreCase("Windows")) { 
     1065        if(System.getProperty("os.name").toLowerCase().contains("windows")) {    
    10661066            d.setSize(d.getWidth()-100, d.getHeight()-100); 
    10671067        }