Remove some gnome-shell extensions

diff --git a/arch/desktop-gnome-extensions b/arch/desktop-gnome-extensions
index 6e5fdfc9930d6e9f77bf34003e58dc5b32e0ee96..a14958fa8f73129970dcc39b4652932a2bc68115 100644 (file)
--- a/arch/desktop-gnome-extensions
+++ b/arch/desktop-gnome-extensions
@@ -1,5 +1,3 @@
 gnome-shell-extensions
 gnome-shell-extension-appindicator
-gnome-shell-extension-no-topleft-hot-corner
-gnome-shell-extension-sometimes-steal-my-focus
 libappindicator-gtk3