From a8d75de4c949f1f932f59ea85e36bf292d4ff9b8 Mon Sep 17 00:00:00 2001 From: Simon Schneegans Date: Thu, 27 Jan 2022 05:52:49 +0100 Subject: [PATCH] :lipstick: Only add headerbar on GTK4 --- prefs.js | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/prefs.js b/prefs.js index af5bc0d..e206641 100644 --- a/prefs.js +++ b/prefs.js @@ -338,8 +338,10 @@ var PreferencesDialog = class PreferencesDialog { }); // Add a header bar to the window. - const header = Gtk.HeaderBar.new(); - window.set_titlebar(header); + if (utils.isGTK4()) { + const header = Gtk.HeaderBar.new(); + window.set_titlebar(header); + } const box = new Gtk.Box({ orientation: Gtk.Orientation.VERTICAL,