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)