- Timestamp:
- 2023-02-22T22:17:16+13:00 (14 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r37337 r37341 37 37 import javax.swing.text.*; 38 38 39 import org.webswing.toolkit.api.WebswingUtil; 39 40 40 41 import org.greenstone.gatherer.Configuration; … … 92 93 static private Dimension size = new Dimension(800, 540); 93 94 static public RemoteGreenstoneServer remoteGreenstoneServer = null; 94 95 static public WebswingAuthenticator webswingAuthenticator = null; 95 96 96 97 … … 130 131 static public boolean isGsdlRemote = false; 131 132 static public boolean isLocalLibrary = false; 132 133 134 135 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(); 136 137 137 138 /* TODO: If we're using local GLI, collections are built locally. If we're using client-GLI … … 175 176 System.err.println("Version: " + PROGRAM_VERSION + "\n"); 176 177 178 if (go.webswing) { 179 WebswingUtil.getWebswingApi().sendActionEvent("setCursor", "wait", null); 180 } 181 177 182 JarTools.initialise(this); 178 183 179 //GetOpt go = new GetOpt(args);180 184 181 185 // Remember the GSDLOS value … … 828 832 else { 829 833 g_man.setVisible(true); 834 } 835 836 if (isWebswing) { 837 WebswingUtil.getWebswingApi().sendActionEvent("setCursor", "default", null); 830 838 } 831 839
Note:
See TracChangeset
for help on using the changeset viewer.