Closed GoogleCodeExporter closed 9 years ago
The latest version has the ability for the user to specify the colors, font
weight and style. There is no UI for it, but the CHANGELOG has an example of
how to edit the configuration file.
Original comment by evan.teran
on 3 Oct 2012 at 5:00
Original comment by evan.teran
on 3 Oct 2012 at 2:45
Original issue reported on code.google.com by
evan.teran
on 3 Oct 2012 at 3:21