hazelgrove/GRV

Issues

• Have some way to delete only one child in a particular index. (Currently we delete all children.)

  #3 opened 4 years ago by adamsmd
  0

• In multiparent area, show a list of parents. Maybe also allow clicking on them to move to the cursor to them.

  #4 opened 4 years ago by adamsmd
  0

• Add a text box and button that allows you to enter an edge or vertex id, and then have the cursor go to that edge or vertex. (You might need to specify a vertex and child index.)

  #11 opened 4 years ago by adamsmd
  0

• Show edge info (i.e., id, source, index, and target) when hovering over edges in the graphviz

  #14 opened 4 years ago by adamsmd
  0

• Use a prompt box for variables etc.

  #27 opened 4 years ago by adamsmd
  0

• Move the "send" button to bellow "Editors"

  #26 opened 5 years ago by adamsmd
  0

• Typing "v" on any editor other than the first selects the box for the first editor

  #21 opened 5 years ago by adamsmd
  0

• Move buttons to the bottom

  #23 opened 5 years ago by adamsmd
  0

• Group Multiparent and Deleted together and Actions and Editors together

  #24 opened 5 years ago by adamsmd
  0

• Rename "Editors" to "Send to editors"

  #25 opened 5 years ago by adamsmd
  0

• Allow only one editor

  #19 opened 5 years ago by adamsmd
  0

• Use `to_string_hum` for printing s-expressions

  #20 opened 5 years ago by adamsmd
  0

• Move the graph up

  #22 opened 5 years ago by adamsmd
  0

• Deleting a term and then restoring it results in two edges to that term.

  #9 opened 5 years ago by adamsmd
  2

• Add debug view that dumps all state

  #6 opened 5 years ago by adamsmd
  0

• add multicast send

  #18 opened 5 years ago by dedbox
  0

• Support more than two editors

  #17 opened 5 years ago by dedbox
  0

• Add something that can record and play back actions

  #5 opened 5 years ago by adamsmd
  1

• Selecting items in the "deleted" then pressing "Restore" doesn't work. (I think this is because Graph.deleted is used which is now incorrect.)

  #10 opened 5 years ago by adamsmd
  0

• Code in deleted and multiparent areas should not be grey.

  #12 opened 5 years ago by adamsmd
  0

• Use `lualatex` not `pdflatex` for LaTeX.

  #7 opened 5 years ago by adamsmd
  0

• Show the result of type checking

  #16 opened 5 years ago by adamsmd
  0

• In graphviz put ids in a gray subscript like they are in other places

  #15 opened 5 years ago by adamsmd
  0

• Allow clicking in the graphviz to select where to put the cursor.

  #13 opened 5 years ago by adamsmd
  0

• If the rootmost element has multiple parents, there is no way to delete the rootmost element.

  #8 opened 5 years ago by adamsmd
  0