X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=32e5f6438b7e5eccd568b3ff3c72e40d1dec0c37;hb=dfa39e09cf3ffa44cc1e764bfa72900bab96136d;hp=7d0eb7f0fe562638ebbac244c8346c1f7db35fef;hpb=5f631be878dd25f9b73d4ba09083e0fd3df8d153;p=jalview.git

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 7d0eb7f..32e5f64 100644
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -2875,6 +2875,8 @@ 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
       }
     }
   }