private JalviewChangeSupport changeSupport = new JalviewChangeSupport();
/**
+ * news reader - null if it was never started.
+ */
+ private BlogReader jvnews=null;
+
+ /**
* @param listener
* @see jalview.gui.JalviewChangeSupport#addJalviewPropertyChangeListener(java.beans.PropertyChangeListener)
*/
showConsole(showjconsole);
+ showNews.setVisible(false);
+ final Desktop me = this;
+ // Thread off the news reader, in case there are connection problems.
+ new Thread( new Runnable() {
+ @Override
+ public void run()
+ {
+ jvnews = new BlogReader(me);
+ showNews.setVisible(true);
+ }
+ }).start();
+
this.addWindowListener(new WindowAdapter()
{
public void windowClosing(WindowEvent evt)
});
}
+ protected void showNews_actionPerformed(ActionEvent e)
+ {
+ showNews(showNews.isSelected());
+ }
+ void showNews(boolean visible)
+ {
+ {
+ jvnews.setVisible(visible);
+ showNews.setSelected(visible);
+ if (visible)
+ {
+ jvnews.refreshNews();
+ jvnews.toFront();
+ }
+ }
+ }
+
/**
* recover the last known dimensions for a jalview window
*
storeLastKnownDimensions("JAVA_CONSOLE_", jconsole.getBounds());
jconsole.stopConsole();
}
+ if (jvnews!=null)
+ {
+ storeLastKnownDimensions("JALVIEW_RSS_WINDOW_", jvnews.getBounds());
+
+ }
+
System.exit(0);
}
// register PCS handler for desktop.
discoverer.addPropertyChangeListener(changeSupport);
}
- if (Cache.getDefault("SHOW_JWS1_SERVICES", true))
+ // JAL-940 - disabled JWS1 service configuration - always start discoverer until we phase out completely
+ if (true)
{
(t0 = new Thread(discoverer)).start();
}