diff options
| author | Bernard Normier <bernard@zeroc.com> | 2005-10-17 19:36:51 +0000 |
|---|---|---|
| committer | Bernard Normier <bernard@zeroc.com> | 2005-10-17 19:36:51 +0000 |
| commit | 813a361fddb55ea15b0e34b49fdd0d34f7da6f31 (patch) | |
| tree | a2a08331419bd158a3cabf896bd0f21e003976a0 /java/src/IceGrid/AdminGUI.java | |
| parent | Work-around for java bug #4833524 (diff) | |
| download | ice-813a361fddb55ea15b0e34b49fdd0d34f7da6f31.tar.bz2 ice-813a361fddb55ea15b0e34b49fdd0d34f7da6f31.tar.xz ice-813a361fddb55ea15b0e34b49fdd0d34f7da6f31.zip | |
Another Mac work-around
Diffstat (limited to 'java/src/IceGrid/AdminGUI.java')
| -rwxr-xr-x | java/src/IceGrid/AdminGUI.java | 23 |
1 files changed, 15 insertions, 8 deletions
diff --git a/java/src/IceGrid/AdminGUI.java b/java/src/IceGrid/AdminGUI.java index fefa4156720..284b8b0de40 100755 --- a/java/src/IceGrid/AdminGUI.java +++ b/java/src/IceGrid/AdminGUI.java @@ -24,8 +24,6 @@ import javax.swing.UIManager; import javax.swing.border.EmptyBorder;
import java.awt.BorderLayout;
-import com.jgoodies.looks.plastic.PlasticLookAndFeel;
-
import java.util.prefs.Preferences;
public class AdminGUI extends JFrame
@@ -134,16 +132,25 @@ public class AdminGUI extends JFrame getContentPane().add((StatusBarI)_model.getStatusBar(), BorderLayout.PAGE_END);
}
- private static void createAndShowGUI(String[] args) {
-
- // JGoodies L&F
+ private static void createAndShowGUI(String[] args)
+ {
try
{
- UIManager.setLookAndFeel(new com.jgoodies.looks.plastic.PlasticXPLookAndFeel());
+ if(UIManager.getSystemLookAndFeelClassName().equals("apple.laf.AquaLookAndFeel"))
+ {
+ System.setProperty("apple.laf.useScreenMenuBar", "true");
+ UIManager.setLookAndFeel("apple.laf.AquaLokkAndFeel");
+ }
+ else // JGoodies L&F
+ {
+ UIManager.setLookAndFeel("com.jgoodies.looks.plastic.PlasticXPLookAndFeel");
+ }
}
catch(Exception e)
- {}
-
+ {
+ System.err.println(e.toString());
+ }
+
//
// Create and set up the window.
//
|