use checkbox to add/remove a breakpoint

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 9 years ago

to add a break node: currently using a ‘button’, maybe to use a checkbox is more user-friendly