2014-07-21 03:25:21 +02:00
|
|
|
|
|
|
|
ui = {
|
|
|
|
// true to enable timestamps, false to disable
|
|
|
|
timestamps:true;
|
|
|
|
|
2014-07-22 00:14:06 +02:00
|
|
|
// true to enable terminal alerts on messages, false to disable
|
2014-07-21 03:25:21 +02:00
|
|
|
alerts:true;
|
|
|
|
|
|
|
|
// true to use native terminal colours, false to use toxic default colour theme
|
2014-07-22 00:14:06 +02:00
|
|
|
native_colors:false;
|
2014-07-28 23:47:33 +02:00
|
|
|
time_format=24;
|
|
|
|
autolog:false;
|
2014-07-21 03:25:21 +02:00
|
|
|
};
|
|
|
|
|
2014-07-28 23:47:33 +02:00
|
|
|
//Only Ctrl modified keys and Tab supported right now
|
|
|
|
//All printable keys register as input anyway
|
|
|
|
keys = {
|
|
|
|
next_tab="Ctrl+P";
|
|
|
|
//next_tab="Tab";
|
|
|
|
prev_tab="Ctrl+O";
|
|
|
|
scroll_line_up="PAGEUP";
|
|
|
|
scroll_line_down="PAGEDOWN";
|
|
|
|
half_page_up="Ctrl+F";
|
|
|
|
half_page_down="Ctrl+V";
|
|
|
|
page_bottom="Ctrl+H";
|
|
|
|
peer_list_up="Ctrl+[";
|
|
|
|
peer_list_down="Ctrl+]";
|
2014-07-21 03:25:21 +02:00
|
|
|
};
|
|
|
|
|