static final int yOffset = 30;
- private static AlignFrame currentAlignFrame;
-
public static jalview.ws.jws1.Discoverer discoverer;
public static Object[] jalviewClipboard;
if (Jalview.isHeadlessMode())
{
// Desktop.desktop is null in headless mode
- return new AlignFrame[] { currentAlignFrame };
+ return new AlignFrame[] { Jalview.currentAlignFrame };
}
JInternalFrame[] frames = Desktop.desktop.getAllFrames();
@Override
public void windowClosed(WindowEvent e)
{
- groovyShell.setEnabled(true);
enableExecuteGroovy(false);
}
});
* if we got this far, enable 'Run Groovy' in AlignFrame menus
* and disable opening a second console
*/
- groovyShell.setEnabled(false);
enableExecuteGroovy(true);
}
* Enable or disable 'Run Groovy script' in AlignFrame calculate menus
*
* @param enabled
+ * true if Groovy console is open
*/
public void enableExecuteGroovy(boolean enabled)
{
+ /*
+ * disable opening a second Groovy console
+ * (or re-enable when the console is closed)
+ */
+ groovyShell.setEnabled(!enabled);
+
AlignFrame[] alignFrames = getAlignFrames();
if (alignFrames != null)
{
* The dust settles...give focus to the tab we did this from.
*/
myTopFrame.setDisplayedView(myTopFrame.alignPanel);
-
- }
-
- public static AlignFrame getCurrentAlignFrame()
- {
- return currentAlignFrame;
- }
-
- public static void setCurrentAlignFrame(AlignFrame currentAlignFrame)
- {
- Desktop.currentAlignFrame = currentAlignFrame;
}
public static groovy.ui.Console getGroovyConsole()