fix(B-012): Fenstertitel nach erstem Speichern mit Dateinamen aktualisieren

save_file() setzte nach erfolgreichem Speichern nicht setWindowTitle() --
Fenster zeigte weiterhin 'CodeBox v0.1.0' statt 'CodeBox v0.1.0 - script.py'.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: Lukas Geiger

tests/test_save_failure_guards.py

@@ -80,6 +80,9 @@ def test_initial_save_updates_tab_title_and_enables_run(tmp_path):
     assert tab.file_path == target
     assert window.tab_widget.tabText(current_index) == "script.py"
     assert window.output.run_btn.isEnabled()
+    assert "script.py" in window.windowTitle(), (
+        f"Fenstertitel muss Dateinamen enthalten, zeigt aber: {window.windowTitle()!r}"
+    )
 
     window.close()
 

ui/main_window.py

@@ -336,6 +336,7 @@ def save_file(self):
                 self.output.run_btn.setEnabled(original_run_enabled)
             return
         self.tab_widget._update_tab_title(tab)
+        self.setWindowTitle(format_window_title(tab.file_path))
         self.output.run_btn.setEnabled(bool(tab.provider))
         if tab.file_path and tab.provider and not getattr(tab, "_lsp_client", None):
             self._connect_lsp(tab, tab.file_path)