log frontends/src/primitivus/keys.py @ 1764:33c815c17fe6

age author description
Mon, 30 Mar 2015 10:26:26 +0200 Goffi 2015 copyright dates update
Wed, 10 Dec 2014 19:00:09 +0100 Goffi quick_frontend, primitivus: multi-profiles refactoring part 1 (big commit, sorry :p): frontends_multi_profiles
Mon, 08 Sep 2014 19:19:32 +0200 Goffi primitivus: added a FOCUS_EXTRA key (default: "ctrl f") which can be used to focus a main part: