More Customizable Editor
GoogleCodeExporter opened this issue · comments
First of all thanks for the great work!
It'd be great if the editor can be more customizable. Currently (0.2.1.0)
there's no way to change the font and size. Changing the syntax highlighting is
possible by editing the file "TikzSyntax.xshd" but it is not very
user-friendly. It'd be great if we can edit those settings with GUI. Thanks!
Original issue reported on code.google.com by Rhymer...@gmail.com
on 13 Mar 2012 at 2:13
I added settings for the font family and size and a (simple) GUI editor for the
color definitions in the xshd file. (...will be included in the next release)
Original comment by t.willwa...@gmail.com
on 17 Mar 2012 at 3:08
- Changed state: Fixed
- Added labels: Type-Enhancement
- Removed labels: Type-Defect