git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-4187 JAL-629 JAL-3830 adjustments to Cygwin and WSL parts of bash launcher script...
[jalview.git]
/
src
/
jalview
/
jbgui
/
GDesktop.java
diff --git
a/src/jalview/jbgui/GDesktop.java
b/src/jalview/jbgui/GDesktop.java
index
996cb1f
..
b0079b4
100755
(executable)
--- a/
src/jalview/jbgui/GDesktop.java
+++ b/
src/jalview/jbgui/GDesktop.java
@@
-32,6
+32,8
@@
import javax.swing.JMenuItem;
import jalview.api.AlignmentViewPanel;
import jalview.bin.Cache;
import jalview.api.AlignmentViewPanel;
import jalview.bin.Cache;
+import jalview.gui.APQHandlers;
+import jalview.gui.Desktop;
import jalview.io.FileFormatException;
import jalview.util.MessageManager;
import jalview.util.Platform;
import jalview.io.FileFormatException;
import jalview.util.MessageManager;
import jalview.util.Platform;
@@
-147,7
+149,7
@@
public class GDesktop extends JFrame
*/
try
{
*/
try
{
- APQHandlers.setAPQHandlers(this);
+ APQHandlers.setAPQHandlers((Desktop) this);
} catch (Exception e)
{
System.out.println("Cannot set APQHandlers");
} catch (Exception e)
{
System.out.println("Cannot set APQHandlers");
@@
-212,7
+214,8
@@
public class GDesktop extends JFrame
@Override
public void actionPerformed(ActionEvent e)
{
@Override
public void actionPerformed(ActionEvent e)
{
- quit();
+ if (Desktop.instance != null)
+ Desktop.instance.desktopQuit();
}
});
aboutMenuItem.setText(MessageManager.getString("label.about"));
}
});
aboutMenuItem.setText(MessageManager.getString("label.about"));
@@
-389,10
+392,6
@@
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);
desktopMenubar.add(FileMenu);
desktopMenubar.add(toolsMenu);
desktopMenubar.add(HelpMenu);
@@
-404,7
+403,10
@@
public class GDesktop extends JFrame
FileMenu.add(saveAsState);
FileMenu.add(loadState);
FileMenu.addSeparator();
FileMenu.add(saveAsState);
FileMenu.add(loadState);
FileMenu.addSeparator();
- FileMenu.add(quit);
+ if (!APQHandlers.setQuit)
+ {
+ FileMenu.add(quit);
+ }
if (!APQHandlers.setAbout)
{
HelpMenu.add(aboutMenuItem);
if (!APQHandlers.setAbout)
{
HelpMenu.add(aboutMenuItem);