From 2a2511eea47734fe2fb0afb60022ef08271b4fa1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= Date: Mon, 6 Aug 2018 16:37:43 +0200 Subject: [PATCH] Disable the background menu --- tiling.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tiling.js b/tiling.js index aded595..12e17f2 100644 --- a/tiling.js +++ b/tiling.js @@ -108,7 +108,9 @@ class Space extends Array { let metaBackground = new Meta.Background({meta_screen: screen}); const GDesktopEnums = imports.gi.GDesktopEnums; let background = new Meta.BackgroundActor({ - meta_screen: screen, monitor: 0, background: metaBackground}); + meta_screen: screen, monitor: 0, background: metaBackground, + reactive: true // Disable the background menu + }); this.background = background; this.shadow = new St.Widget();; this.shadow.set_style(