wilthoma / tikzedt

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

Option to disable auto compilation. #34

Closed GoogleCodeExporter closed 8 years ago

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