+ 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");
+ System.setProperty("com.apple.mrj.application.apple.menu.about.name",
+ "Jalview");
+ System.setProperty("apple.laf.useScreenMenuBar", "true");
}
ArgsParser aparser = new ArgsParser(args);
}
}
// and finally, turn off batch mode indicator - if the desktop still exists
- if (desktop!=null)
+ if (desktop != null)
{
desktop.setInBatchMode(false);
}