comparison src/plugins/plugin_misc_xmllog.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 301b342c697a
children aa60bd58ac23
comparison
equal deleted inserted replaced
1158:c0f15e52695a 1159:85fd02356dba