From b6cb78330d2100b76af11af5b8f81ca9025dfb03 Mon Sep 17 00:00:00 2001 From: Simon Schneegans Date: Thu, 27 Jan 2022 05:07:00 +0100 Subject: [PATCH] :lipstick: Add headerbar to preview windows --- prefs.js | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prefs.js b/prefs.js index 83f14e7..068bbfc 100644 --- a/prefs.js +++ b/prefs.js @@ -337,6 +337,10 @@ var PreferencesDialog = class PreferencesDialog { this._button.get_toplevel() }); + // Add a header bar to the window. + const header = Gtk.HeaderBar.new(); + window.set_titlebar(header); + const box = new Gtk.Box({ orientation: Gtk.Orientation.VERTICAL, valign: Gtk.Align.CENTER,