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,