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)
commitad794e0f00f56065f4e8d7e4cd1e4b8873938993
tree3b2efcd5f22909ef8abe6faae70366ad7be8f3c7
parent5501d75d2c97398d3ffddb200061cb93cc90bac3
The control of the toggles is now Ctrl-Shift-$character. That's easier for new
users.
surf.1