Thu, 27 May 2010 12:34:30 +0200 | wenzelm | clarified auto_update vs. update; | changeset | files |
Thu, 27 May 2010 12:03:59 +0200 | wenzelm | more reactive message handling, notably for follow_caret mode; | changeset | files |
Thu, 27 May 2010 00:47:15 +0200 | wenzelm | Command.toString: include id for debugging; | changeset | files |