Update selection display to be more informative

seachel / treehehe

An interactive visualization of proof tree representations of mathematical proofs using D3 and MathJax.

0 stars 0 forks source link

Update selection display to be more informative #56

Closed seachel closed 5 years ago

seachel commented 6 years ago

For the selected node, we want to show the rule that is used to progress (goal-directed?), and highlight either children (backward reasoning) or parent (for forward reasoning).

seachel commented 5 years ago

Partially handled (highlight children), and remainder will be considered with #57 and #73.