From 1ffd565bd728219f0a564f691127257a13dfbb4f Mon Sep 17 00:00:00 2001 From: Marcus van Elst Date: Tue, 5 May 2026 12:21:32 +0200 Subject: [PATCH] #80: Dirty-Indikator im Tab-Titel Konfiguration ergaenzen refreshHeader() setzt Tab-Titel auf '* Konfiguration' wenn editorState dirty ist. Dialog bei Neu/Oeffnen/Schliessen war bereits vorhanden (unsavedChangesGuard). Co-Authored-By: Claude Sonnet 4.6 --- .../adapter/in/gui/GuiConfigurationEditorWorkspace.java | 5 +++++ 1 file changed, 5 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 83244f3..695032e 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 @@ -1436,6 +1436,11 @@ public final class GuiConfigurationEditorWorkspace { dirtyMarkerLabel.setVisible(dirty); dirtyMarkerLabel.setManaged(dirty); + // Tab-Titel mit Dirty-Indikator aktualisieren (UX-Konsistenz zum Prompt-Tab) + if (configurationTab != null) { + configurationTab.setText(dirty ? "* Konfiguration" : "Konfiguration"); + } + titleUpdateListener.accept(GuiWindowTitleFormatter.format(editorState)); }