From acca476036986d6407abfff0d5fab7a87c0304d1 Mon Sep 17 00:00:00 2001 From: James Bunton Date: Mon, 10 Jun 2019 10:14:45 +1000 Subject: [PATCH] desktop-gnome-ext --- arch/desktop-gnome-ext | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 arch/desktop-gnome-ext diff --git a/arch/desktop-gnome-ext b/arch/desktop-gnome-ext new file mode 100644 index 0000000..c1232d8 --- /dev/null +++ b/arch/desktop-gnome-ext @@ -0,0 +1,4 @@ +gnome-shell-extension-appindicator +gnome-shell-extension-no-topleft-hot-corner +gnome-shell-extension-sometimes-steal-my-focus +libappindicator-gtk3 -- 2.39.2