JAL-4298 comment markers
authorBen Soares <b.soares@dundee.ac.uk>
Thu, 19 Oct 2023 17:35:06 +0000 (18:35 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 19 Oct 2023 17:35:06 +0000 (18:35 +0100)
src/jalview/gui/Console.java
src/jalview/gui/SplashScreen.java

index bf3942a..631e0a2 100644 (file)
@@ -637,7 +637,7 @@ public class Console extends WindowAdapter
         {
           try
           {
-            this.wait(100);
+            this.wait(100); // ##### implicated BLOCKED
             if (pin.available() == 0)
             {
               trimBuffer(false);
@@ -670,7 +670,7 @@ public class Console extends WindowAdapter
         {
           try
           {
-            this.wait(100);
+            this.wait(100); // ##### implicated BLOCKED
             if (pin2.available() == 0)
             {
               trimBuffer(false);
@@ -713,7 +713,7 @@ public class Console extends WindowAdapter
               displayPipe = tmp;
             }
             // simply append whole buffer
-            textArea.append(replace.toString());
+            textArea.append(replace.toString()); // ##### implicated BLOCKED
             count += replace.length();
             if (count > byteslim)
             {
index 52c1d18..1060d8a 100755 (executable)
@@ -342,7 +342,7 @@ public class SplashScreen extends JPanel
     try
     {
 
-      iframe.setClosed(true);
+      iframe.setClosed(true); // ##### implicated BLOCKED
     } catch (Exception ex)
     {
     }