import javax.swing.JEditorPane;
import javax.swing.JInternalFrame;
import javax.swing.JPanel;
+import javax.swing.JProgressBar;
import javax.swing.JScrollPane;
import javax.swing.JTabbedPane;
import javax.swing.JTextArea;
@Override
public void internalFrameClosed(InternalFrameEvent evt)
{
- // System.out.println("Shutting down webservice client");
+ // jalview.bin.Console.outPrintln("Shutting down webservice client");
WSClientI service = thisinfo.getthisService();
if (service != null && service.isCancellable())
{
true, false);
((JEditorPane) ((JScrollPane) jobPanes.get(which)).getViewport()
.getComponent(0))
- .setText(ensureHtmlTagged(
- txt + getHtmlFragment(text, false, true)));
+ .setText(ensureHtmlTagged(
+ txt + getHtmlFragment(text, false, true)));
}
else
{
{
return progressBar.operationInProgress();
}
+
+ @Override
+ public JProgressBar getProgressBar(long id)
+ {
+ return progressBar.getProgressBar(id);
+ }
}