search

rmennes / tikzedt

Automatically exported from code.google.com/p/tikzedt
0 stars 0 forks source link

More Customizable Editor #29

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
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

GoogleCodeExporter commented 8 years ago 
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