Closed GoogleCodeExporter closed 8 years ago
It should be nice if the text nodes could be colored
Original issue reported on code.google.com by nico.big...@gmail.com on 26 Jun 2008 at 12:49
nico.big...@gmail.com
Original comment by nico.big...@gmail.com on 26 Jun 2008 at 12:53
Original issue reported on code.google.com by
nico.big...@gmail.com
on 26 Jun 2008 at 12:49