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. + *
+ * 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 // =========================================================================