X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=4d00b1f9922bc7932bcc96f66ebd9c2432c2e4ba;hb=c043b91227c31bdb6178086bfd0a633c6de510aa;hp=647971e7ac8dfd21a4968128b42e6ea37feb125e;hpb=b9bde68b87a581a1f21e47cb19839791a192134a;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 647971e..4d00b1f 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -354,13 +354,6 @@ public class Desktop extends jalview.jbgui.GDesktop doConfigureStructurePrefs(); setTitle("Jalview " + jalview.bin.Cache.getProperty("VERSION")); - // setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); - /* comments - * galore - * to - * change the line numbers - */ - /* if (!Platform.isAMac()) {