From fe83d4d36a6ec30afcac87db5bcbdd532b78960c Mon Sep 17 00:00:00 2001 From: Philipp Unger Date: Sun, 20 Aug 2023 02:57:57 +0200 Subject: [PATCH] fix SHELL_KEYBINDINGS_SCHEMA import --- overview.js | 6 +++--- panelManager.js | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/overview.js b/overview.js index 9a9e647..22626e0 100644 --- a/overview.js +++ b/overview.js @@ -29,8 +29,8 @@ import Shell from 'gi://Shell'; import St from 'gi://St'; import * as Main from 'resource:///org/gnome/shell/ui/main.js'; import * as Workspace from 'resource:///org/gnome/shell/ui/workspace.js'; -import * as MessageTray from 'resource:///org/gnome/shell/ui/messageTray.js'; -import { WindowPreview } from 'resource:///org/gnome/shell/ui/windowPreview.js'; +import * as WindowManager from 'resource:///org/gnome/shell/ui/windowManager.js'; +import {WindowPreview} from 'resource:///org/gnome/shell/ui/windowPreview.js'; import {SETTINGS} from './extension.js'; import Meta from 'gi://Meta'; @@ -357,7 +357,7 @@ export var Overview = class { }, this); if (Main.wm._switchToApplication) { - let gsSettings = new Gio.Settings({ schema_id: MessageTray.SHELL_KEYBINDINGS_SCHEMA }); + let gsSettings = new Gio.Settings({ schema_id: WindowManager.SHELL_KEYBINDINGS_SCHEMA }); for (let i = 1; i < 10; ++i) { Utils.addKeybinding(GS_HOTKEYS_KEY + i, gsSettings, Main.wm._switchToApplication.bind(Main.wm)); diff --git a/panelManager.js b/panelManager.js index a62ecb3..1dd45e1 100755 --- a/panelManager.js +++ b/panelManager.js @@ -52,7 +52,7 @@ import * as PanelMenu from 'resource:///org/gnome/shell/ui/panelMenu.js'; import * as Layout from 'resource:///org/gnome/shell/ui/layout.js'; import * as WM from 'resource:///org/gnome/shell/ui/windowManager.js'; import {SETTINGS} from './extension.js'; -import { SecondaryMonitorDisplay, WorkspacesView } from 'resource:///org/gnome/shell/ui/workspacesView.js'; +import {SecondaryMonitorDisplay, WorkspacesView} from 'resource:///org/gnome/shell/ui/workspacesView.js'; const Gi = imports._gi;