view frontends/src/quick_frontend/__init__.py @ 1159:85fd02356dba

primitivus: key can be changed in config: - new config module manage configuration - if any configuration error happen, config parsing is stopped, and a popup appear + a log error - key can be changed with key_[action_name] = [shortcut] - early popup (popup happening before main widget is built, e.g. in profile manager) are managed
author Goffi <goffi@goffi.org>
date Thu, 04 Sep 2014 19:05:57 +0200
parents 86d249b6d9b7
children
line wrap: on
line source