public class GDesktop extends JFrame
{
- protected static JMenu windowMenu = new JMenu();
+ protected JMenu windowMenu = new JMenu();
JMenuBar desktopMenubar = new JMenuBar();
*/
private void jbInit() throws Exception
{
- setName("jalview-desktop");
+
+ setName(Platform.getAppID("desktop"));
FileMenu.setText(MessageManager.getString("action.file"));
HelpMenu.setText(MessageManager.getString("action.help"));
inputLocalFileMenuItem
}
});
- Float specversion = Float.parseFloat(System.getProperty("java.specification.version"));
+ Float specversion = Platform.isJS() ? Float.valueOf(8)
+ : Float.parseFloat(
+ System.getProperty("java.specification.version"));
desktopMenubar.add(FileMenu);
desktopMenubar.add(toolsMenu);