From db6874933593ae514a1acdb3e73ef7765a749bc9 Mon Sep 17 00:00:00 2001 From: Anupam Kumar Date: Sun, 13 Mar 2022 08:18:11 +0000 Subject: [PATCH] appDisplay: Home and End keys for app grid navigation Include Home and End keys for consistent behaviour with respect to overview navigation. Part-of: --- js/ui/appDisplay.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js index 4fa2a5f63..62d0c9c1c 100644 --- a/js/ui/appDisplay.js +++ b/js/ui/appDisplay.js @@ -1669,6 +1669,12 @@ class AppDisplay extends BaseAppView { } else if (event.get_key_symbol() === Clutter.KEY_Page_Down) { this.goToPage(this._grid.currentPage + 1); return Clutter.EVENT_STOP; + } else if (event.get_key_symbol() === Clutter.KEY_Home) { + this.goToPage(0); + return Clutter.EVENT_STOP; + } else if (event.get_key_symbol() === Clutter.KEY_End) { + this.goToPage(this._grid.nPages - 1); + return Clutter.EVENT_STOP; } return Clutter.EVENT_PROPAGATE;