hazelgrove/grv issues and pull requests

#30 - chore/comments-and-tests

Pull Request - State: open - Opened by svishnus 12 months ago
Labels: chore

#29 - fix: dune build

Pull Request - State: closed - Opened by svishnus 12 months ago
Labels: chore

#28 - chore: upgrade-packages

Pull Request - State: closed - Opened by svishnus 12 months ago - 1 comment
Labels: chore

#27 - Use a prompt box for variables etc.

Issue - State: closed - Opened by adamsmd over 4 years ago

#26 - Move the "send" button to bellow "Editors"

Issue - State: closed - Opened by adamsmd over 4 years ago

#25 - Rename "Editors" to "Send to editors"

Issue - State: closed - Opened by adamsmd over 4 years ago

#24 - Group Multiparent and Deleted together and Actions and Editors together

Issue - State: closed - Opened by adamsmd over 4 years ago

#23 - Move buttons to the bottom

Issue - State: closed - Opened by adamsmd over 4 years ago

#22 - Move the graph up

Issue - State: closed - Opened by adamsmd over 4 years ago

#21 - Typing "v" on any editor other than the first selects the box for the first editor

Issue - State: closed - Opened by adamsmd over 4 years ago

#20 - Use `to_string_hum` for printing s-expressions

Issue - State: closed - Opened by adamsmd over 4 years ago

#19 - Allow only one editor

Issue - State: closed - Opened by adamsmd over 4 years ago

#18 - add multicast send

Issue - State: closed - Opened by dedbox over 4 years ago

#17 - Support more than two editors

Issue - State: closed - Opened by dedbox over 4 years ago

#16 - Show the result of type checking

Issue - State: open - Opened by adamsmd over 4 years ago

#15 - In graphviz put ids in a gray subscript like they are in other places

Issue - State: open - Opened by adamsmd over 4 years ago

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

Issue - State: closed - Opened by adamsmd over 4 years ago

#13 - Allow clicking in the graphviz to select where to put the cursor.

Issue - State: open - Opened by adamsmd over 4 years ago

#12 - Code in deleted and multiparent areas should not be grey.

Issue - State: closed - Opened by adamsmd over 4 years ago

#11 - 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.)

Issue - State: closed - Opened by adamsmd over 4 years ago

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

Issue - State: closed - Opened by adamsmd over 4 years ago

#9 - Deleting a term and then restoring it results in two edges to that term.

Issue - State: closed - Opened by adamsmd over 4 years ago - 2 comments

#8 - If the rootmost element has multiple parents, there is no way to delete the rootmost element.

Issue - State: open - Opened by adamsmd over 4 years ago

#7 - Use `lualatex` not `pdflatex` for LaTeX.

Issue - State: closed - Opened by adamsmd over 4 years ago

#6 - Add debug view that dumps all state

Issue - State: closed - Opened by adamsmd over 4 years ago

#5 - Add something that can record and play back actions

Issue - State: closed - Opened by adamsmd over 4 years ago - 1 comment

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

Issue - State: closed - Opened by adamsmd over 4 years ago

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

Issue - State: closed - Opened by adamsmd over 4 years ago

#2 - make utop work (like hazel)

Pull Request - State: closed - Opened by dedbox almost 5 years ago

#1 - make utop work

Pull Request - State: closed - Opened by dedbox almost 5 years ago - 3 comments

Ecosyste.ms: Issues

GitHub / hazelgrove/grv issues and pull requests

#30 - chore/comments-and-tests

#29 - fix: dune build

#28 - chore: upgrade-packages

#27 - Use a prompt box for variables etc.

#26 - Move the "send" button to bellow "Editors"

#25 - Rename "Editors" to "Send to editors"

#24 - Group Multiparent and Deleted together and Actions and Editors together

#23 - Move buttons to the bottom

#22 - Move the graph up

#21 - Typing "v" on any editor other than the first selects the box for the first editor

#20 - Use `to_string_hum` for printing s-expressions

#19 - Allow only one editor

#18 - add multicast send

#17 - Support more than two editors

#16 - Show the result of type checking

#15 - In graphviz put ids in a gray subscript like they are in other places

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

#13 - Allow clicking in the graphviz to select where to put the cursor.

#12 - Code in deleted and multiparent areas should not be grey.

#11 - 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.)

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

#9 - Deleting a term and then restoring it results in two edges to that term.

#8 - If the rootmost element has multiple parents, there is no way to delete the rootmost element.

#7 - Use `lualatex` not `pdflatex` for LaTeX.

#6 - Add debug view that dumps all state

#5 - Add something that can record and play back actions

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

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

#2 - make utop work (like hazel)

#1 - make utop work