#84: Aktionsbuttons im Verlauf-Tab nach Laufende reaktivieren

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>

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 {

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
     // =========================================================================