- Timestamp:
- 2009-10-07T15:52:04+13:00 (14 years ago)
- Location:
- gli/trunk
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/classes/dictionary.properties
r19663 r20789 923 923 Preferences.Connection.Proxy_Port:Proxy Port: 924 924 Preferences.Connection.Proxy_Port_Tooltip:The port number of your proxy server 925 Preferences.Connection.Proxy_Host_Missing:Enter a value for the proxy host or turn off Use Proxy Connection in the Connection tab. 925 926 Preferences.Connection.Servlet:Servlet: 926 927 Preferences.Connection.Servlet_Tooltip:The servlet to use to view your site -
gli/trunk/src/org/greenstone/gatherer/gui/Preferences.java
r19438 r20789 906 906 Gatherer.refresh(Gatherer.PREFERENCES_CHANGED); 907 907 908 // Hide dialog 909 if (close) { 910 self.dispose(); 908 // If proxy is on but proxy details are incomplete, then can't continue 909 if (use_proxy_checkbox.isSelected() && proxy_host_field.getText().equals("")) { 910 JOptionPane.showMessageDialog(Gatherer.g_man, Dictionary.get("Preferences.Connection.Proxy_Host_Missing"), 911 Dictionary.get("General.Error"), JOptionPane.ERROR_MESSAGE); 912 } else { 913 // Hide dialog 914 if (close) { 915 self.dispose(); 916 } 911 917 } 912 918
Note:
See TracChangeset
for help on using the changeset viewer.