{
showNews(showNews.isSelected());
}
- void showNews(boolean default1)
+ void showNews(boolean visible)
{
{
- jvnews.setVisible(default1);
- if (default1)
+ jvnews.setVisible(visible);
+ showNews.setSelected(visible);
+ if (visible)
{
jvnews.refreshNews();
jvnews.toFront();
}
+ /**
+ * 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()