search

hchapman / tikzedt

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

Option to disable auto compilation. #34

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Option to disable auto compilation.

Original issue reported on code.google.com by t.willwa...@gmail.com on 19 Apr 2012 at 8:08

GoogleCodeExporter commented 9 years ago 
Is built into the development version. Will be there with the next release.

Original comment by t.willwa...@gmail.com on 9 May 2012 at 7:09