diff src/tools/config.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 7ee9d9db67b9
children 9c17bd37e6e5
line wrap: on
line diff