Use document top header as window title

1 files changed, 3 insertions, 0 deletions

diff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c
index 030a323b..cb530e9b 100644
--- a/src/ui/documentwidget.c
+++ b/src/ui/documentwidget.c
@@ -140,6 +140,9 @@ static void updateSource_DocumentWidget_(iDocumentWidget *d) {
     deinit_String(&str);
     updateVisible_DocumentWidget_(d);
     refresh_Widget(as_Widget(d));
+    setTitle_Window(get_Window(),
+                    !isEmpty_String(title_GmDocument(d->doc)) ? title_GmDocument(d->doc)
+                                                              : collectNewCStr_String("Lagrange"));
 }
 
 static void fetch_DocumentWidget_(iDocumentWidget *d) {