Mon, 27 Nov 2006 10:57:37 +0100 added togglefloat to hg tip (i consider this useful for some cases), using MODKEY-Shift-space as shortcut
arg@mig29 [Mon, 27 Nov 2006 10:57:37 +0100] rev 584
added togglefloat to hg tip (i consider this useful for some cases), using MODKEY-Shift-space as shortcut
Mon, 27 Nov 2006 10:29:47 +0100 applied Jukka's patch preventing some cornercases and making the EOF error message correct
arg@mig29 [Mon, 27 Nov 2006 10:29:47 +0100] rev 583
applied Jukka's patch preventing some cornercases and making the EOF error message correct
Sun, 26 Nov 2006 15:43:16 +0100 applied yet another proposal of Manuel
arg@mig29 [Sun, 26 Nov 2006 15:43:16 +0100] rev 582
applied yet another proposal of Manuel
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip