chiark / gitweb /
Nobble set_tool_colors(). We seem to be better off without.