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