ref: 84d012998fc5c82ff32c85243f8e0f6e9b1e003d
parent: dfb8fa2e928e86f647373814997ee5123740f427
author: Simon Tatham <anakin@pobox.com>
date: Sun Sep 13 10:43:21 EDT 2009
Error-highlighted trees look nicer with a different-coloured trunk. Also added a comment worrying about the universality of my error highlighting mechanism. [originally from svn r8647]