import jalview.api.AlignmentViewPanel;
import jalview.bin.Cache;
+import jalview.gui.Desktop;
import jalview.io.FileFormatException;
import jalview.util.MessageManager;
import jalview.util.Platform;
@Override
public void actionPerformed(ActionEvent e)
{
- quit();
+ if (Desktop.instance != null)
+ Desktop.instance.desktopQuit();
}
});
aboutMenuItem.setText(MessageManager.getString("label.about"));
FileMenu.add(saveAsState);
FileMenu.add(loadState);
FileMenu.addSeparator();
- FileMenu.add(quit);
- if (!apqHandlersSet)
+ if (!APQHandlers.setQuit)
+ {
+ FileMenu.add(quit);
+ }
+ if (!APQHandlers.setAbout)
{
HelpMenu.add(aboutMenuItem);
}
HelpMenu.add(documentationMenuItem);
- if (!apqHandlersSet)
+ if (!APQHandlers.setPreferences)
{
toolsMenu.add(preferences);
}