hashirama/svitak
Watch
1
0
Fork
You've already forked svitak
 0
forked from marko/svitak
Code Pull requests Activity

add header bar

Browse source
This commit is contained in:
Marko Andjelic 2026-06-30 23:21:55 +01:00
commit 05fdac1253
Signed by: marko
GPG key ID: 9C5E99C8C682FB59
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
app/UI.hs
View file

@ -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)