log frontends/src/primitivus/profile_manager.py @ 1212:628e320eab1f

age author description
Mon, 08 Sep 2014 15:50:49 +0200 Goffi primitivus (profile manager): added FOCUS_UP and FOCUS_DOWN management
Thu, 04 Sep 2014 19:05:57 +0200 Goffi primitivus: profile manager now handle APP_QUIT key