X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=7d0eb7f0fe562638ebbac244c8346c1f7db35fef;hb=a5ab6cce3a64d41c3f91ba49f5e4d9536a2b0018;hp=32e5f6438b7e5eccd568b3ff3c72e40d1dec0c37;hpb=dfa39e09cf3ffa44cc1e764bfa72900bab96136d;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 32e5f64..7d0eb7f 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -2875,8 +2875,6 @@ public class Desktop extends jalview.jbgui.GDesktop implements || (t2 != null && t2.isAlive()) || (t3 != null && t3.isAlive()) || (t0 != null && t0.isAlive()); - // could just as easily ask discoverer if it is still running instead of - // holding ref to thread } } }