#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 <noreply@anthropic.com>
This commit is contained in:
+5
@@ -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));
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user