Merge branch 'Jalview-BH/JAL-3026' into

[jalview.git] / src / jalview / jbgui / GDesktop.java

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index 17f36cb..34c7d31 100755 (executable)
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -459,15 +459,14 @@ public class GDesktop extends JFrame
     desktopMenubar.add(windowMenu);
     FileMenu.add(inputMenu);
     FileMenu.add(inputSequence);
-    if (!Jalview.isJS())
+    FileMenu.addSeparator();
+    FileMenu.add(saveAsJaxb);
+    FileMenu.add(loadAsJaxb);
+    if (!Jalview.isJS()) 
     {
-      FileMenu.addSeparator();
       FileMenu.add(saveState);
       FileMenu.add(loadState);
     }
-
-    FileMenu.add(saveAsJaxb);
-    FileMenu.add(loadAsJaxb);
     FileMenu.addSeparator();
     FileMenu.add(quit);
     HelpMenu.add(aboutMenuItem);