Mon, 05 Sep 2011 23:51:16 +0200 | wenzelm | more visible outdated_color; | changeset | files |
Mon, 05 Sep 2011 23:26:41 +0200 | wenzelm | commands_change_delay within main actor -- prevents overloading of commands_change_buffer input channel; | changeset | files |