From 98ee289aba692f89dde801bb133f2b72552f8be3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20J=C3=B8rgen=20Br=C3=B8nner?= Date: Sun, 17 Mar 2019 16:33:09 +0100 Subject: [PATCH] Allow minimize hotkey when navigating --- navigator.js | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/navigator.js b/navigator.js index 2acd326..a47b4ba 100644 --- a/navigator.js +++ b/navigator.js @@ -76,9 +76,10 @@ var PreviewedWindowNavigator = new Lang.Class({ _doAction: function(mutterActionId) { let action = Keybindings.byId(mutterActionId); + let space = Tiling.spaces.selectedSpace; + let metaWindow = space.selectedWindow; + if (action && action.options.activeInNavigator) { - let space = Tiling.spaces.selectedSpace; - let metaWindow = space.selectedWindow; if (action.options.opensMinimap) { this.navigator._showMinimap(space); } @@ -87,6 +88,8 @@ var PreviewedWindowNavigator = new Lang.Class({ this.navigator.minimaps.forEach(m => m.hide()); } return true; + } else if (mutterActionId == Meta.KeyBindingAction.MINIMIZE) { + metaWindow.minimize(); } return false;