X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FConsole.java;fp=src%2Fjalview%2Fgui%2FConsole.java;h=5a23048c7ee0dfb3094d0c628cca2970ba6d2cf9;hb=b364e1e6d199002069dab615d1007799b5bb71e1;hp=9cf2cc97393610b60eca984c4fbdcac662a0c2ee;hpb=0980e87380e2922790d01bde3f616115f1916a43;p=jalview.git diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java index 9cf2cc9..5a23048 100644 --- a/src/jalview/gui/Console.java +++ b/src/jalview/gui/Console.java @@ -114,6 +114,7 @@ public class Console extends WindowAdapter Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); frame = initFrame("Java Console", screenSize.width / 2, screenSize.height / 2, -1, -1); + frame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE); initConsole(true); } @@ -551,10 +552,12 @@ public class Console extends WindowAdapter { } } + /* if (!frame.isVisible()) { frame.dispose(); } + */ // System.exit(0); }