From d7a7c92d13a8278d2dcfd0663c1f7f43456b2580 Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Wed, 6 Apr 2022 22:12:13 -0400 Subject: [PATCH] Change workspace on overview window-picker click --- overview.js | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/overview.js b/overview.js index 050ae3f..ade7fad 100644 --- a/overview.js +++ b/overview.js @@ -424,13 +424,18 @@ var Overview = class { Utils.hookVfunc(Object.getPrototypeOf(Main.overview._overview), 'button_release_event', () => { let [x, y] = global.get_pointer(); let pickedActor = global.stage.get_actor_at_pos(Clutter.PickMode.REACTIVE, x, y); + + if (pickedActor) { + let parent = pickedActor.get_parent(); - if (pickedActor && ( - (pickedActor.has_style_class_name && - pickedActor.has_style_class_name('apps-scroll-view') && - !pickedActor.has_style_pseudo_class('last-child')) || - Main.overview._overview._controls._searchEntryBin.contains(pickedActor))) - return Clutter.EVENT_PROPAGATE; + if ((pickedActor.has_style_class_name && + pickedActor.has_style_class_name('apps-scroll-view') && + !pickedActor.has_style_pseudo_class('last-child')) || + (parent?.has_style_class_name && + parent.has_style_class_name('window-picker')) || + Main.overview._overview._controls._searchEntryBin.contains(pickedActor)) + return Clutter.EVENT_PROPAGATE; + } Main.overview.toggle() })