From c3db082e5b1dfdb50fd0715efb6bb8eebd99872f Mon Sep 17 00:00:00 2001 From: Philipp Unger Date: Thu, 7 Sep 2023 01:11:25 +0200 Subject: [PATCH] use getAppFromSource from Dash again --- taskbar.js | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/taskbar.js b/taskbar.js index 1e0b48a..b80e4aa 100644 --- a/taskbar.js +++ b/taskbar.js @@ -41,7 +41,6 @@ import * as PopupMenu from 'resource:///org/gnome/shell/ui/popupMenu.js'; import * as Workspace from 'resource:///org/gnome/shell/ui/workspace.js'; import * as AppIcons from './appIcons.js'; -import * as AppDisplay from 'resource:///org/gnome/shell/ui/appDisplay.js'; import * as Panel from './panel.js'; import * as PanelManager from './panelManager.js'; import * as PanelSettings from './panelSettings.js'; @@ -62,13 +61,6 @@ const T1 = 'ensureAppIconVisibilityTimeout' const T2 = 'showLabelTimeout' const T3 = 'resetHoverTimeout' -// TODO will be exported in the next gnome 45 release again -function getAppFromSource(source) { - if (source instanceof AppDisplay.AppIcon) - return source.app; - else - return null; -} /** * Extend DashItemContainer @@ -632,7 +624,7 @@ export var Taskbar = class { } _onDragMotion(dragEvent) { - let app = getAppFromSource(dragEvent.source); + let app = Dash.getAppFromSource(dragEvent.source); if (app == null) return DND.DragMotionResult.CONTINUE;