From: Christoph Lohmann <20h@r-36.net>
Date: Tue, 20 Nov 2012 15:14:28 +0000 (+0100)
Subject: The control of the toggles is now Ctrl-Shift-$character. That's easier for new
X-Git-Url: https://git.danieliu.xyz/?a=commitdiff_plain;h=ad794e0f00f56065f4e8d7e4cd1e4b8873938993;hp=ad794e0f00f56065f4e8d7e4cd1e4b8873938993;p=surf.git

The control of the toggles is now Ctrl-Shift-$character. That's easier for new
users.
---