git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
6288934
)
OSX look and feel JAL-577
author
jprocter
<Jim Procter>
Wed, 9 Jun 2010 12:07:57 +0000
(12:07 +0000)
committer
jprocter
<Jim Procter>
Wed, 9 Jun 2010 12:07:57 +0000
(12:07 +0000)
src/jalview/bin/Jalview.java
patch
|
blob
|
history
diff --git
a/src/jalview/bin/Jalview.java
b/src/jalview/bin/Jalview.java
index
2c68662
..
64ffd38
100755
(executable)
--- a/
src/jalview/bin/Jalview.java
+++ b/
src/jalview/bin/Jalview.java
@@
-36,7
+36,7
@@
import java.util.*;
import javax.swing.*;
import jalview.gui.*;
import javax.swing.*;
import jalview.gui.*;
-import jalview.io.AppletFormatAdapter;
+import jalview.util.Platform;
/**
* Main class for Jalview Application <br>
/**
* Main class for Jalview Application <br>
@@
-79,6
+79,11
@@
public class Jalview
System.out.println(System.getProperty("os.arch") + " "
+ System.getProperty("os.name") + " "
+ System.getProperty("os.version"));
System.out.println(System.getProperty("os.arch") + " "
+ System.getProperty("os.name") + " "
+ System.getProperty("os.version"));
+ if (new Platform().isAMac())
+ {
+ System.setProperty("com.apple.mrj.application.apple.menu.about.name", "Jalview");
+ System.setProperty("apple.laf.useScreenMenuBar", "true");
+ }
ArgsParser aparser = new ArgsParser(args);
boolean headless = false;
ArgsParser aparser = new ArgsParser(args);
boolean headless = false;
@@
-165,17
+170,11
@@
public class Jalview
try
{
try
{
- UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName()
- // UIManager.getCrossPlatformLookAndFeelClassName()
- // "com.sun.java.swing.plaf.gtk.GTKLookAndFeel"
- // "javax.swing.plaf.metal.MetalLookAndFeel"
- // "com.sun.java.swing.plaf.windows.WindowsLookAndFeel"
- // "com.sun.java.swing.plaf.motif.MotifLookAndFeel"
-
- );
+ UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
} catch (Exception ex)
{
}
} catch (Exception ex)
{
}
+
if (!headless)
{
desktop = new Desktop();
if (!headless)
{
desktop = new Desktop();