hchapman / tikzedt

Automatically exported from code.google.com/p/tikzedt

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Request: Reset settings to default

GoogleCodeExporter opened this issue · comments

A button to reset the compiler settings to default values would be very useful 
if one makes an edit by mistake. To fix it I had to 

Original issue reported on code.google.com by antosec...@gmail.com on 13 Dec 2012 at 5:48

That's a good idea (and easy to implement).

Original comment by t.willwa...@gmail.com on 13 Dec 2012 at 9:40

Original comment by t.willwa...@gmail.com on 18 Dec 2012 at 12:00

  • Changed state: Fixed