diff frontends/src/primitivus/constants.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 73a0b7f94674
children cae023216bba
line wrap: on
line diff
--- a/frontends/src/primitivus/constants.py	Thu Sep 04 19:05:57 2014 +0200
+++ b/frontends/src/primitivus/constants.py	Thu Sep 04 19:05:57 2014 +0200
@@ -82,3 +82,5 @@
     LOG_OPT_SECTION = APP_NAME.lower()
     LOG_OPT_OUTPUT = ('output', constants.Const.LOG_OPT_OUTPUT_SEP + constants.Const.LOG_OPT_OUTPUT_MEMORY)
 
+    CONFIG_SECTION = APP_NAME.lower()
+    CONFIG_OPT_KEY_PREFIX = "KEY_"