From d0d231a49d7abaf8e53c3baec38e4ad3780c4077 Mon Sep 17 00:00:00 2001
From: Simon Bruder <simon@sbruder.de>
Date: Mon, 24 Aug 2020 20:59:44 +0200
Subject: [PATCH] home: gtk2: Disable tooltips

---
 users/simon/base.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/users/simon/base.nix b/users/simon/base.nix
index 7561e1b..830812e 100644
--- a/users/simon/base.nix
+++ b/users/simon/base.nix
@@ -38,6 +38,10 @@ in
         package = pkgs.gnome3.adwaita-icon-theme;
         name = "Adwaita";
       };
+      # Tooltips remain visible when switching to another workspace
+      gtk2.extraConfig = ''
+        gtk-enable-tooltips = 0
+      '';
     };
   };
 }