chiark / gitweb /
Fix the number display on the scale tool, and make the scaling ticks depend on the...