log frontends/src/primitivus/keys.py @ 1288:7cf32aeeebdb frontends_multi_profiles

age author description
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:
Sat, 06 Sep 2014 17:34:26 +0200 Goffi primitivus: added REFRESH_SCREEN key to global namespace