diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-12-10 14:37:46 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-12-10 14:43:55 +0000 |
commit | 202aca7bf4eb4927658b82b627afb9dab254a551 (patch) | |
tree | 2be0e541d4ce5b6d2a517daa37151bd0d8ba948e /extensions/no-overview/extension.js | |
parent | Releasing debian version 20230618-3. (diff) | |
download | gnome-shell-extensions-extra-202aca7bf4eb4927658b82b627afb9dab254a551.tar.xz gnome-shell-extensions-extra-202aca7bf4eb4927658b82b627afb9dab254a551.zip |
Merging upstream version 20231210.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'extensions/no-overview/extension.js')
-rw-r--r-- | extensions/no-overview/extension.js | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/extensions/no-overview/extension.js b/extensions/no-overview/extension.js deleted file mode 100644 index 32a9090..0000000 --- a/extensions/no-overview/extension.js +++ /dev/null @@ -1,38 +0,0 @@ -/* - No overview at start-up - Contributors: @fthx, @fmuellner - License: GPL v3 -*/ - - -const Main = imports.ui.main; - - -class Extension { - constructor() { - this._realHasOverview = Main.sessionMode.hasOverview; - } - - enable() { - if (!Main.layoutManager._startingUp) { - return; - } - - Main.sessionMode.hasOverview = false; - Main.layoutManager.connect('startup-complete', () => { - Main.sessionMode.hasOverview = this._realHasOverview - }); - // handle Ubuntu's method - if (Main.layoutManager.startInOverview) { - Main.layoutManager.startInOverview = false; - } - } - - disable() { - Main.sessionMode.hasOverview = this._realHasOverview; - } -} - -function init() { - return new Extension(); -}
\ No newline at end of file |