chiark / gitweb /
Add preferences shortcut key #246