From: Ben Soares <b.soares@dundee.ac.uk>
Date: Thu, 19 Oct 2023 17:35:06 +0000 (+0100)
Subject: JAL-4298 comment markers
X-Git-Tag: Release_2_11_4_0~132^2~8
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=ae3fad8019274ca3ab1258a480ba15dd9adac1e9;p=jalview.git

JAL-4298 comment markers
---

diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java
index bf3942a..631e0a2 100644
--- a/src/jalview/gui/Console.java
+++ b/src/jalview/gui/Console.java
@@ -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)
             {
diff --git a/src/jalview/gui/SplashScreen.java b/src/jalview/gui/SplashScreen.java
index 52c1d18..1060d8a 100755
--- a/src/jalview/gui/SplashScreen.java
+++ b/src/jalview/gui/SplashScreen.java
@@ -342,7 +342,7 @@ public class SplashScreen extends JPanel
     try
     {
 
-      iframe.setClosed(true);
+      iframe.setClosed(true); // ##### implicated BLOCKED
     } catch (Exception ex)
     {
     }