Ignore:
Timestamp:
2023-02-22T22:17:16+13:00 (14 months ago)
Author:
davidb
Message:

Next phase of webswing gli development: better colour for text on disabled tab text; busy cursor shown when first loading in; expanded to previewURL and downloadURL for better future-proofing

File:
1 edited

Legend:

Unmodified
Added
Removed
  • main/trunk/gli/src/org/greenstone/gatherer/Gatherer.java

    r37337 r37341  
    3737import javax.swing.text.*;
    3838
     39import org.webswing.toolkit.api.WebswingUtil;
    3940
    4041import org.greenstone.gatherer.Configuration;
     
    9293    static private Dimension size = new Dimension(800, 540);
    9394    static public RemoteGreenstoneServer remoteGreenstoneServer = null;
    94     static public WebswingAuthenticator webswingAuthenticator = null;
     95    static public WebswingAuthenticator webswingAuthenticator = null;
    9596   
    9697
     
    130131    static public boolean isGsdlRemote = false;
    131132    static public boolean isLocalLibrary = false;
    132     static public boolean isWebswing = false;
    133 
    134     // for storing the original proxy settings on GLI startup   
    135     private static Properties startup_proxy_settings = new Properties();
     133    static public boolean isWebswing = false;
     134
     135    // for storing the original proxy settings on GLI startup   
     136    private static Properties startup_proxy_settings = new Properties();
    136137   
    137138    /* TODO: If we're using local GLI, collections are built locally. If we're using client-GLI
     
    175176        System.err.println("Version: " + PROGRAM_VERSION + "\n");
    176177
     178        if (go.webswing) {
     179            WebswingUtil.getWebswingApi().sendActionEvent("setCursor", "wait", null);
     180        }
     181       
    177182        JarTools.initialise(this);
    178183
    179         //GetOpt go = new GetOpt(args);
    180184
    181185        // Remember the GSDLOS value
     
    828832        else {
    829833            g_man.setVisible(true);
     834        }
     835       
     836        if (isWebswing) {
     837            WebswingUtil.getWebswingApi().sendActionEvent("setCursor", "default", null);
    830838        }
    831839
Note: See TracChangeset for help on using the changeset viewer.