From 03329da8860fd48c644c84132df537176c109e6e Mon Sep 17 00:00:00 2001
From: "Lange, Dr. Herbert" <herbert.lange@uni-hamburg.de>
Date: Fri, 5 Aug 2022 19:32:03 +0200
Subject: [PATCH] disable report button on start of check
---
src/main/java/de/uni_hamburg/corpora/gui/GUI.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/java/de/uni_hamburg/corpora/gui/GUI.java b/src/main/java/de/uni_hamburg/corpora/gui/GUI.java
index 2549aac..2fdf71e 100644
--- a/src/main/java/de/uni_hamburg/corpora/gui/GUI.java
+++ b/src/main/java/de/uni_hamburg/corpora/gui/GUI.java
@@ -85,6 +85,7 @@ public class GUI {
};
checkButton.addActionListener(actionEvent -> {
checkButton.setEnabled(false);
+ reportButton.setEnabled(false);
updateButton.setEnabled(false);
// Do the checking
try {
--
GitLab