diff frontends/src/primitivus/profile_manager.py @ 1186:9cc858acae91

primitivus: added a FOCUS_EXTRA key (default: "ctrl f") which can be used to focus a main part: - ctrl f + 1 (or m) to focus menu - ctrl f + 2 (or b) to focus body - ctrl f + 3 (or n) to focus notifications bar - ctrl f + 4 (or e) to focus edit bar
author Goffi <goffi@goffi.org>
date Mon, 08 Sep 2014 19:19:32 +0200
parents 49d39b619e5d
children e3a9ea76de35
line wrap: on
line diff