comparison 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
comparison
equal deleted inserted replaced
1158:c0f15e52695a 1159:85fd02356dba
80 "xa": (u'☄', "show_xa") 80 "xa": (u'☄', "show_xa")
81 } 81 }
82 LOG_OPT_SECTION = APP_NAME.lower() 82 LOG_OPT_SECTION = APP_NAME.lower()
83 LOG_OPT_OUTPUT = ('output', constants.Const.LOG_OPT_OUTPUT_SEP + constants.Const.LOG_OPT_OUTPUT_MEMORY) 83 LOG_OPT_OUTPUT = ('output', constants.Const.LOG_OPT_OUTPUT_SEP + constants.Const.LOG_OPT_OUTPUT_MEMORY)
84 84
85 CONFIG_SECTION = APP_NAME.lower()
86 CONFIG_OPT_KEY_PREFIX = "KEY_"