X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=961caa761a52b82a1eef0d39f95a829974f29b95;hb=481ae9f847bc4f1437b2cfbf6c61ed040bc61892;hp=4aac062a209aff4d66777bdcca2f08b1a0a7c7bb;hpb=c1f5dd54ab8caa7e76ca50f9c3a85f2731b66862;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index 4aac062..961caa7 100644 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -359,7 +359,7 @@ public class WebserviceInfo extends GWebserviceInfo @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()) { @@ -626,8 +626,8 @@ public class WebserviceInfo extends GWebserviceInfo 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 {