Changeset 37341
- Timestamp:
- 2023-02-22T22:17:16+13:00 (4 weeks ago)
- Location:
- main/trunk/gli
- Files:
-
- 5 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/classes/xml/configWebswing.xml
r37336 r37341 69 69 <Argument name="coloring.collection_selection_background">128, 180, 216</Argument> 70 70 <Argument name="coloring.collection_selection_foreground">0, 0, 0</Argument> 71 <Argument name="coloring.collection_tree_background">215, 237, 205</Argument> <!-- pale green, used to be 223 250224-->71 <Argument name="coloring.collection_tree_background">215, 237, 205</Argument> <!-- pale green, used to be 223, 250, 224--> 72 72 <Argument name="coloring.collection_tree_foreground">0, 0, 0</Argument> 73 <Argument name="coloring.collection_noneditable_background">212, 212, 212</Argument> <!-- used to be 192, 192, 292 -->73 <Argument name="coloring.collection_noneditable_background">212, 212, 212</Argument> <!-- used to be 192, 192, 192 --> 74 74 <Argument name="coloring.collection_noneditable_foreground">0, 0, 0</Argument> 75 75 <Argument name="coloring.disabled">206, 206, 206</Argument> -
main/trunk/gli/src/org/greenstone/gatherer/Configuration.java
r37310 r37341 945 945 UIManager.put("Panel.background", new ColorUIResource(getColor("coloring.collection_heading_background", false))); 946 946 UIManager.put("Label.background", new ColorUIResource(getColor("coloring.collection_heading_background", false))); 947 UIManager.put("TabbedPane.background", new ColorUIResource(getColor("coloring.collection_heading_background", false))); 947 948 // 949 // Commenting out the following, as did not give the desired result in WebSwing GLI 950 // => Was causing the disabled text to tabs (e.g., when a collection is closed) to be bright green text 951 // If comment this out has, in turn, an undesirable effect on Desktop GLI, then wrap up in an if-statement 952 // 953 //UIManager.put("TabbedPane.background", new ColorUIResource(getColor("coloring.collection_heading_background", false))); 948 954 UIManager.put("SplitPane.background", new ColorUIResource(getColor("coloring.collection_heading_background", false))); 949 955 UIManager.put("CheckBox.background", new ColorUIResource(getColor("coloring.collection_heading_background", false))); -
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 -
main/trunk/gli/src/org/greenstone/gatherer/GathererProg.java
r37330 r37341 61 61 } 62 62 63 63 64 GetOpt go = new GetOpt(args); 64 65 … … 73 74 // which is engineered through webswing.config to be the GLI home directory 74 75 75 gli_user_directory_path = System.getProperty("user.dir") + File.separator + "webswing-users" + File.separator; 76 77 //gli_user_directory_path = go.gsdl3_src_path + File.separator; 78 79 // or GSDL3SRCHOME ??? 80 //gli_user_directory_path = System.getProperty("user.dir") + File.separator; 81 //gli_user_directory_path = System.getenv("GSDL3SRCHOME") + File.separator; 76 gli_user_directory_path = System.getProperty("user.dir") + File.separator + "webswing-users" + File.separator; 82 77 83 78 File gli_user_directory = new File(gli_user_directory_path); -
main/trunk/gli/src/org/greenstone/gatherer/file/FileManager.java
r37329 r37341 401 401 String library_collect_file_url = library_collect_url + "/" + local_filename; 402 402 403 WebswingUtil.getWebswingApi().sendActionEvent(" previewURL", library_collect_file_url, null);403 WebswingUtil.getWebswingApi().sendActionEvent("downloadURL", library_collect_file_url, null); 404 404 } 405 405 else {
Note:
See TracChangeset
for help on using the changeset viewer.