From ef06be464cf6799a02db1f64479e881ff1048caa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafa=C5=82=20Dzi=C4=99giel?= Date: Fri, 19 Feb 2021 12:11:19 +0100 Subject: [PATCH] Use basic GtkBox widget for headerbar replacement Window headerbar is hidden at all times. We do not want to execute the logic that comes with GtkHeaderBar, so we simplify it by using GtkBox as a dummy widget. --- src/app.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/app.js b/src/app.js index 26de73bd..b27e66f3 100644 --- a/src/app.js +++ b/src/app.js @@ -30,7 +30,7 @@ class ClapperApp extends AppBase const clapperWidget = new Widget(); window.set_child(clapperWidget); - const dummyHeaderbar = new Gtk.HeaderBar({ + const dummyHeaderbar = new Gtk.Box({ can_focus: false, focusable: false, visible: false,