X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fjbgui%2FGDesktop.java;h=e1224c2c56fc2b3b0c70a14ff875f1983badbee8;hb=57738a1f3c19b1c3a00bd3ac5108f8cd0af32f99;hp=e4a5905798e587d7aa0faba7e4ec0f7f9d5abc18;hpb=5159fba45b219bdf320e78091db53486e782bb39;p=jalview.git diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java index e4a5905..e1224c2 100755 --- a/src/jalview/jbgui/GDesktop.java +++ b/src/jalview/jbgui/GDesktop.java @@ -116,10 +116,10 @@ public class GDesktop extends JFrame e.printStackTrace(); } - if (Platform.allowMnemonics()) + if (Platform.allowMnemonics()) { - //BH was !Platform.isAMacAndNotJS()) i.e. "JS or not Mac" - // but here we want just not a Mac, period, right? + // BH was !Platform.isAMacAndNotJS()) i.e. "JS or not Mac" + // but here we want just not a Mac, period, right? FileMenu.setMnemonic('F'); inputLocalFileMenuItem.setMnemonic('L'); inputURLMenuItem.setMnemonic('U'); @@ -144,10 +144,13 @@ public class GDesktop extends JFrame HelpMenu.setText(MessageManager.getString("action.help")); inputLocalFileMenuItem .setText(MessageManager.getString("label.load_tree_from_file")); - inputLocalFileMenuItem.setAccelerator( - javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_O, - jalview.util.ShortcutKeyMaskExWrapper.getMenuShortcutKeyMaskEx(), - false)); + inputLocalFileMenuItem + .setAccelerator( + javax.swing.KeyStroke + .getKeyStroke(java.awt.event.KeyEvent.VK_O, + jalview.util.ShortcutKeyMaskExWrapper + .getMenuShortcutKeyMaskEx(), + false)); inputLocalFileMenuItem .addActionListener(new java.awt.event.ActionListener() { @@ -369,7 +372,7 @@ public class GDesktop extends JFrame Float specversion = Platform.isJS() ? Float.valueOf(8) : Float.parseFloat( System.getProperty("java.specification.version")); - + desktopMenubar.add(FileMenu); desktopMenubar.add(toolsMenu); desktopMenubar.add(HelpMenu); @@ -377,7 +380,7 @@ public class GDesktop extends JFrame FileMenu.add(inputMenu); FileMenu.add(inputSequence); FileMenu.addSeparator(); - //FileMenu.add(saveState); + // FileMenu.add(saveState); FileMenu.add(saveAsState); FileMenu.add(loadState); FileMenu.addSeparator(); @@ -493,7 +496,7 @@ public class GDesktop extends JFrame */ protected void quit() { - //System.out.println("********** GDesktop.quit()"); + // System.out.println("********** GDesktop.quit()"); } /**