From ae3fad8019274ca3ab1258a480ba15dd9adac1e9 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Thu, 19 Oct 2023 18:35:06 +0100 Subject: [PATCH] JAL-4298 comment markers --- src/jalview/gui/Console.java | 6 +++--- src/jalview/gui/SplashScreen.java | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) 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) { } -- 1.7.10.2