X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=961caa761a52b82a1eef0d39f95a829974f29b95;hb=5640ec0623c6d1205e62f9fe15292f32bfdab7d9;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 {