summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2021-03-13 18:56:41 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2021-03-13 18:56:41 +0000
commite66740eeb00e2b2f7859128f1fed764693005d20 (patch)
tree75bb0ecbb460bd4ba95e05b9886cd84c31e23926
parentInitial commit. (diff)
downloadgnome-shell-extension-disable-workspace-switcher-popup-e66740eeb00e2b2f7859128f1fed764693005d20.tar.xz
gnome-shell-extension-disable-workspace-switcher-popup-e66740eeb00e2b2f7859128f1fed764693005d20.zip
Adding upstream version 0~20201113.upstream/0_20201113upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
-rw-r--r--README.md34
-rw-r--r--disable-workspace-switcher-popup@github.com/extension.js20
-rw-r--r--disable-workspace-switcher-popup@github.com/metadata.json37
-rw-r--r--screenshot.pngbin0 -> 52425 bytes
4 files changed, 91 insertions, 0 deletions
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..da9e692
--- /dev/null
+++ b/README.md
@@ -0,0 +1,34 @@
+## Disable Window Switcher Popup
+
+This is my first GNOME 3 shell extension. I created this because I saw no way to disable the *huge* popup displayed dead center of the screen when switching between workspaces, other than editing `/usr/share/gnome-shell/js/ui/workspaceSwitcherPopup.js` and setting the value of `DISPLAY_TIMEOUT` to zero.
+
+## Installation:
+
+**From the GNOME Extensions Page:**
+
+https://extensions.gnome.org/extension/959/disable-workspace-switcher-popup/
+
+
+**From the Command-line:**
+
+```
+curl -sL https://github.com/windsorschmidt/disable-workspace-switcher-popup/tarball/master |
+ tar xzv --wildcards --strip 1 --directory ~/.local/share/gnome-shell/extensions/ \
+ "*/disable-workspace-switcher-popup@github.com"
+```
+
+## Enabling the Extension:
+
+Restart the GNOME Shell with the key sequence: Alt-F2 + "r" then ENTER.
+
+Using GNOME Tweak Tool, navigate to the Shell Extensions pane and enable the plugin by clicking the switch widget:
+
+![Screenshot](/screenshot.png "Enabling extension in GNOME Tweak Tool")
+
+Note: You may need to restart GNOME Tweak Tool and/or re-log in to your session in order for the extension to appear in the list of installed extensions.
+
+## Acknowledgments
+
+Based on the disable [window animations extension](https://github.com/lzap/disable-window-animations) by [Lukas Zapletal](https://github.com/lzap)
+
+Thanks to users for suggesting changes and poking me for version updates.
diff --git a/disable-workspace-switcher-popup@github.com/extension.js b/disable-workspace-switcher-popup@github.com/extension.js
new file mode 100644
index 0000000..86a5145
--- /dev/null
+++ b/disable-workspace-switcher-popup@github.com/extension.js
@@ -0,0 +1,20 @@
+const WorkspaceSwitcherPopup = imports.ui.workspaceSwitcherPopup;
+
+let oldShow;
+
+function init() {
+ oldShow = WorkspaceSwitcherPopup.WorkspaceSwitcherPopup.prototype._show;
+}
+
+function enable() {
+ WorkspaceSwitcherPopup.WorkspaceSwitcherPopup.prototype._show = function() { return false };
+}
+
+function disable() {
+ WorkspaceSwitcherPopup.WorkspaceSwitcherPopup.prototype._show = oldShow;
+}
+
+// Backwards compatability with 3.0.2
+function main() {
+ enable();
+}
diff --git a/disable-workspace-switcher-popup@github.com/metadata.json b/disable-workspace-switcher-popup@github.com/metadata.json
new file mode 100644
index 0000000..0b92a32
--- /dev/null
+++ b/disable-workspace-switcher-popup@github.com/metadata.json
@@ -0,0 +1,37 @@
+{
+ "shell-version": [
+ "3.0",
+ "3.0.1",
+ "3.0.2",
+ "3.2",
+ "3.4",
+ "3.6",
+ "3.8",
+ "3.10",
+ "3.12",
+ "3.14",
+ "3.16",
+ "3.18",
+ "3.20",
+ "3.20.2",
+ "3.20.4",
+ "3.22",
+ "3.22.3",
+ "3.24",
+ "3.24.1",
+ "3.24.2",
+ "3.26",
+ "3.28",
+ "3.30.0",
+ "3.30.2",
+ "3.32",
+ "3.32.2",
+ "3.34.1"
+ ],
+ "uuid": "disable-workspace-switcher-popup@github.com",
+ "name": "Disable Workspace Switcher Popup",
+ "description": "Disables the overlay displayed when switching between workspaces.",
+ "url": "https://github.com/windsorschmidt/disable-workspace-switcher-popup",
+ "creator": "windsor.schmidt",
+ "creator_url": "/accounts/profile/windsor.schmidt"
+}
diff --git a/screenshot.png b/screenshot.png
new file mode 100644
index 0000000..032b129
--- /dev/null
+++ b/screenshot.png
Binary files differ