rmennes / tikzedt

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

Request: Reset settings to default #45

Closed GoogleCodeExporter closed 8 years ago

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

GoogleCodeExporter commented 8 years ago
That's a good idea (and easy to implement).

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

GoogleCodeExporter commented 8 years ago

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