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 2549aac903f6b9b73138159e3921f348304a6745..2fdf71e08da83c85299ff770912f75284db6f8aa 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 {