search

ggrov / tinker

Graph based proof strategy language
http://ggrov.github.io/tinker/
6 stars 0 forks source link

automatic switching modes when drawing a graph #40

Open lyhlbyl opened 9 years ago

lyhlbyl commented 9 years ago

automatically switching to "select mode" from other modes, e.g. "adding tactic node", when clicking the area of tactic node or edges.