}
+ /**
+ * fixes stacking order after a modal dialog to ensure windows that should be on top actually are
+ */
+ public void relayerWindows()
+ {
+ if (jvnews!=null && jvnews.isVisible())
+ {
+ jvnews.toFront();
+ }
+ }
+
protected JMenuItem groovyShell;
public void doGroovyCheck()