From 5129d3c9f6d5dbfaba04eb981ec9c2a24bede3c7 Mon Sep 17 00:00:00 2001
From: Marcus van Elst <marcusvebo@gmail.com>
Date: Tue, 5 May 2026 11:54:48 +0200
Subject: [PATCH] #84: Aktionsbuttons im Verlauf-Tab nach Laufende reaktivieren
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

notifyRunEnded() in GuiHistoryTab ergänzt; GuiConfigurationEditorWorkspace
verdrahtet batchRunTab.runningProperty() und ruft notifyRunEnded() via
Platform.runLater() auf, sobald der Lauf endet.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 .../in/gui/GuiConfigurationEditorWorkspace.java    |  7 +++++++
 .../adapter/in/gui/history/GuiHistoryTab.java      | 14 ++++++++++++++
 2 files changed, 21 insertions(+)

diff --git a/pdf-umbenenner-adapter-in-gui/src/main/java/de/gecheckt/pdf/umbenenner/adapter/in/gui/GuiConfigurationEditorWorkspace.java b/pdf-umbenenner-adapter-in-gui/src/main/java/de/gecheckt/pdf/umbenenner/adapter/in/gui/GuiConfigurationEditorWorkspace.java
index d01a9d4..ae294a5 100644
--- a/pdf-umbenenner-adapter-in-gui/src/main/java/de/gecheckt/pdf/umbenenner/adapter/in/gui/GuiConfigurationEditorWorkspace.java
+++ b/pdf-umbenenner-adapter-in-gui/src/main/java/de/gecheckt/pdf/umbenenner/adapter/in/gui/GuiConfigurationEditorWorkspace.java
@@ -534,6 +534,13 @@ public final class GuiConfigurationEditorWorkspace {
                 this.batchRunTab::isRunning,
                 this::loadedConfigurationPath);
 
+        // Aktionsbuttons im Verlauf-Tab reaktivieren, sobald der Lauf beendet ist
+        this.batchRunTab.runningProperty().addListener((obs, wasRunning, running) -> {
+            if (!running) {
+                Platform.runLater(this.historyTab::notifyRunEnded);
+            }
+        });
+
         String configuredPromptPath = effectiveContext.initialState().values().promptTemplateFile();
         int maxTitleLength;
         try {
diff --git a/pdf-umbenenner-adapter-in-gui/src/main/java/de/gecheckt/pdf/umbenenner/adapter/in/gui/history/GuiHistoryTab.java b/pdf-umbenenner-adapter-in-gui/src/main/java/de/gecheckt/pdf/umbenenner/adapter/in/gui/history/GuiHistoryTab.java
index 580eb6b..8e2e4ca 100644
--- a/pdf-umbenenner-adapter-in-gui/src/main/java/de/gecheckt/pdf/umbenenner/adapter/in/gui/history/GuiHistoryTab.java
+++ b/pdf-umbenenner-adapter-in-gui/src/main/java/de/gecheckt/pdf/umbenenner/adapter/in/gui/history/GuiHistoryTab.java
@@ -190,6 +190,20 @@ public final class GuiHistoryTab {
         loadOverview();
     }
 
+    /**
+     * Wird aufgerufen, wenn ein Verarbeitungslauf beendet wurde, damit Aktionsbuttons
+     * wieder aktiviert werden können, falls ein Dokument in der Tabelle selektiert ist.
+     * <p>
+     * Muss auf dem JavaFX Application Thread aufgerufen werden.
+     */
+    public void notifyRunEnded() {
+        DocumentHistoryRow selected = overviewTable.getSelectionModel().getSelectedItem();
+        if (selected != null) {
+            resetButton.setDisable(false);
+            deleteButton.setDisable(false);
+        }
+    }
+
     // =========================================================================
     // UI-Aufbau
     // =========================================================================