2014-11-12 20:41:29 -06:00
|
|
|
[sessions]
|
|
|
|
|
current_session = string(default="")
|
|
|
|
|
sessions = list(default=list())
|
2015-01-02 09:55:27 -06:00
|
|
|
ignored_sessions = list(default=list())
|
2014-11-12 20:41:29 -06:00
|
|
|
|
|
|
|
|
[app-settings]
|
|
|
|
|
language = string(default="system")
|
|
|
|
|
hide_gui = boolean(default=False)
|
|
|
|
|
voice_enabled = boolean(default=False)
|
2015-01-19 12:15:57 -06:00
|
|
|
ask_at_exit = boolean(default=True)
|
2015-04-17 14:07:30 -05:00
|
|
|
use_invisible_keyboard_shorcuts = boolean(default=True)
|
2015-04-17 14:32:12 -05:00
|
|
|
play_ready_sound = boolean(default=True)
|
|
|
|
|
speak_ready_msg = boolean(default=True)
|
2015-01-25 02:38:17 -06:00
|
|
|
log_level = string(default="error")
|
2015-05-16 00:13:54 -05:00
|
|
|
load_keymap = string(default="default.keymap")
|
2015-05-26 20:23:02 -05:00
|
|
|
|
2015-04-20 17:49:07 -05:00
|
|
|
[proxy]
|
|
|
|
|
server = string(default="")
|
|
|
|
|
port = string(default="")
|
|
|
|
|
user = string(default="")
|
|
|
|
|
password = string(default="")
|
