From 05fdac1253b917e9cde497762429ff6df20cc4ae Mon Sep 17 00:00:00 2001 From: Marko Andjelic Date: Tue, 30 Jun 2026 23:21:55 +0100 Subject: [PATCH] add header bar --- app/UI.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/app/UI.hs b/app/UI.hs index dda3524..372b56f 100644 --- a/app/UI.hs +++ b/app/UI.hs @@ -58,6 +58,8 @@ buildLayout app = do window <- Gtk.applicationWindowNew app webView <- WebKit.webViewNew sidebar <- Gtk.listBoxNew + header <- Gtk.headerBarNew + Gtk.listBoxSetSelectionMode sidebar GtkEnums.SelectionModeSingle Gtk.widgetAddCssClass sidebar "toc" @@ -71,6 +73,7 @@ buildLayout app = do Gtk.panedSetResizeStartChild paned False Gtk.set window [#defaultWidth := 1000, #defaultHeight := 700, #child := paned] + Gtk.windowSetTitlebar window $ Just header applyStyles window pure (AppWidgets window webView sidebar)