Closed GoogleCodeExporter closed 9 years ago
Provide more options to change the paint style and colors of the highlighting
Original issue reported on code.google.com by RoryBec...@gmail.com on 28 May 2008 at 9:58
RoryBec...@gmail.com
Original comment by RoryBec...@gmail.com on 11 Feb 2010 at 12:13
Original comment by RoryBec...@gmail.com on 31 Mar 2010 at 11:50
Original issue reported on code.google.com by
RoryBec...@gmail.com
on 28 May 2008 at 9:58