| Mon, 27 Nov 2006 10:57:37 +0100 | arg | added togglefloat to hg tip (i consider this useful for some cases), using MODKEY-Shift-space as shortcut | changeset | files |
| Mon, 27 Nov 2006 10:29:47 +0100 | arg | applied Jukka's patch preventing some cornercases and making the EOF error message correct | changeset | files |
| Sun, 26 Nov 2006 15:43:16 +0100 | arg | applied yet another proposal of Manuel | changeset | files |