diff --git a/js/ui/workspaces.js b/js/ui/workspaces.js index 16769ae85..082545ab4 100644 --- a/js/ui/workspaces.js +++ b/js/ui/workspaces.js @@ -11,6 +11,7 @@ const Pango = imports.gi.Pango; const Shell = imports.gi.Shell; const Signals = imports.signals; +const AppDisplay = imports.ui.appDisplay; const DND = imports.ui.dnd; const GenericDisplay = imports.ui.genericDisplay; const Main = imports.ui.main; @@ -752,7 +753,7 @@ Workspace.prototype = { false, // don't create workspace time); return true; - } else if (source instanceof GenericDisplay.GenericDisplayItem) { + } else if (source instanceof GenericDisplay.GenericDisplayItem || source instanceof AppDisplay.WellDisplayItem) { this._metaWorkspace.activate(time); source.launch(); return true;