X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=6f2faae2a28470a1fdfee788af771f3ae98960c0;hb=3e8516c59908e9f9f791cf820321c5007bdd58ec;hp=8eebfc18141cbca0e4a4c6a376cff0706cd1d701;hpb=353cb52722490edcba2c13b18836b6d37c5455de;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 8eebfc1..6f2faae 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -1610,7 +1610,7 @@ public class Desktop extends jalview.jbgui.GDesktop } } Jalview.setCurrentAlignFrame(null); - System.out.println("ALL CLOSED"); + jalview.bin.Console.info("ALL CLOSED"); /* * reset state of singleton objects as appropriate (clear down session state