- Timestamp:
- 2009-04-15T14:53:44+12:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/BaseServerControl.java
r18868 r18969 165 165 } 166 166 default:{ 167 enter_button.setText(BaseServer.dictionary.get("ServerControl.EnterLibrary")); 167 168 enter_button.setEnabled(false); 168 169 fMenu.setEnabled(false); … … 175 176 info_label.setText(stringToHTML("<br>"+message)); 176 177 } 177 178 178 179 private class MyAdapter extends WindowAdapter{ 179 180 public void windowClosing(WindowEvent env){
Note:
See TracChangeset
for help on using the changeset viewer.