log frontends/src/primitivus/keys.py @ 1281:1c90a913fbb9

age author description
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