chiark / gitweb /
Remove the tool selection when changing view modes.