search

ggrov / tinker

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

When selecting hierarchical tactic the children should be automatically displayed #68

Closed ggrov closed 8 years ago

ggrov commented 9 years ago

The user should not need to having to select it from drop down menu

plebras commented 9 years ago

Do you mean automatically displaying the subgraph when selecting a graph tactic ? My worry is it may annoy the user who wanted to keep the subgraph currently displayed. There is however an existing shortcut : right-click on the graph tactic node and select "inspect tactic" in the context menu. Do you think it could be enough ?

ggrov commented 9 years ago

Yes, that's what I meant. I think it is more annoying having to manually select the graph. On 6 Aug 2015 11:54 am, "plebras" notifications@github.com wrote:

Do you mean automatically displaying the subgraph when selecting a graph tactic ? My worry is it may annoy the user who wanted to keep the subgraph currently displayed. There is however an existing shortcut : right-click on the graph tactic node and select "inspect tactic" in the context menu. Do you think it could be enough ?

— Reply to this email directly or view it on GitHub https://github.com/ggrov/tinker/issues/68#issuecomment-128326222.