- FileMenu.addSeparator();
- FileMenu.add(saveState);
- FileMenu.add(loadState);
- FileMenu.addSeparator();
+ FileMenu.addSeparator();
+ FileMenu.add(saveAsJaxb);
+ FileMenu.add(loadAsJaxb);
+ if (!Jalview.isJS())
+ {
+ FileMenu.add(saveState);
+ FileMenu.add(loadState);
+ }
+ FileMenu.addSeparator();