[gnome-shell/T27795: 80/138] Allow returning to desktop when pressing the ESC key
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/T27795: 80/138] Allow returning to desktop when pressing the ESC key
- Date: Tue, 1 Oct 2019 23:36:03 +0000 (UTC)
commit 9c118810b44e751bcf897368fdc3639b493e6aed
Author: Mario Sanchez Prada <mario endlessm com>
Date: Thu Sep 14 11:35:26 2017 +0100
Allow returning to desktop when pressing the ESC key
This allows to quickly exit the window picker mode using the keyboard.
js/ui/viewSelector.js | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index ebfb1d6e48..45f95a4359 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -391,10 +391,13 @@ var ViewSelector = class {
let symbol = event.get_key_symbol();
if (symbol == Clutter.Escape) {
- if (this._searchActive)
+ if (this._activePage == this._workspacesPage)
+ Main.overview.toggleWindows();
+ else if (this._searchActive)
this.reset();
else
Main.overview.hide();
+
return Clutter.EVENT_STOP;
} else if (this._shouldTriggerSearch(symbol)) {
this.startSearch(event);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]