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 15:07:30 -04:00
|
|
|
use_invisible_keyboard_shorcuts = boolean(default=True)
|
2015-04-17 15:32:12 -04: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-13 20:26:05 -04:00
|
|
|
use_slow_audio_algo = boolean(default=False)
|
2015-05-16 01:13:54 -04:00
|
|
|
load_keymap = string(default="default.keymap")
|
2014-11-12 20:41:29 -06:00
|
|
|
|
2015-04-20 17:49:07 -05:00
|
|
|
[proxy]
|
|
|
|
|
server = string(default="")
|
|
|
|
|
port = string(default="")
|
|
|
|
|
user = string(default="")
|
|
|
|
|
password = string(default="")
|
