- Timestamp:
- 2009-11-04T20:15:41+13:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/BaseServerControl.java
r19792 r20908 75 75 info_label.setVerticalAlignment(SwingConstants.CENTER); 76 76 info_label.setFont(new Font("SansSerif",Font.PLAIN,14)); 77 info_label.setBorder(BorderFactory.createEmptyBorder(5,10,5,10)); 78 77 info_label.setBorder(BorderFactory.createEmptyBorder(5,10,5,10)); 78 79 79 JPanel button_panel = new JPanel(new FlowLayout(FlowLayout.CENTER)); 80 80 enter_button = new JButton(); … … 159 159 case BaseServer.BROWSER_LAUNCHED: 160 160 { 161 info_label.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.Help_RestartLibrary"))); 161 info_label.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.BrowserLaunched",new String[]{server.getBrowserURL()}) 162 + BaseServer.dictionary.get("ServerControl.Help_RestartLibrary"))); 162 163 enter_button.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.RestartLibrary"))); 163 164 thisframe.setState(Frame.ICONIFIED); … … 168 169 case BaseServer.BROWSER_LAUNCH_FAILED: 169 170 { 170 enter_button.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.EnterLibrary")171 + "(URL: " + server.getBrowserURL() + ")"));171 info_label.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.BrowserLaunchFailed",new String[]{server.getBrowserURL()}))); 172 enter_button.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.EnterLibrary"))); 172 173 enter_button.setEnabled(true); 173 174 fMenu.setEnabled(true);
Note:
See TracChangeset
for help on using the changeset viewer.