The control of the toggles is now Ctrl-Shift-$character. That's easier for new
authorChristoph Lohmann <20h@r-36.net>
Tue, 20 Nov 2012 15:14:28 +0000 (16:14 +0100)
committerChristoph Lohmann <20h@r-36.net>
Tue, 20 Nov 2012 15:14:28 +0000 (16:14 +0100)
users.


No differences found