From e659bbb239a58bc8d873a45812dca91b33298095 Mon Sep 17 00:00:00 2001 From: Cyrus Omar Date: Tue, 17 Nov 2020 13:48:09 -0500 Subject: [PATCH] Updates from Overleaf --- grove-paper.tex | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/grove-paper.tex b/grove-paper.tex index 9ec492d..7698acf 100644 --- a/grove-paper.tex +++ b/grove-paper.tex @@ -1746,7 +1746,7 @@ \subsubsection{Editing Different Parts of the Code} (Note that thee transition edge from \autoref{fig:Move-b} to \autoref{fig:Editing Different Parts of the Code-b} represents multiple edges (i.e., deleting~\eConstructionY{} and adding~\eDifferentBob{} along with its child~\vDifferentBob{}). -We thus mark it with a star.)\todo{star size}\todo{"sync"} +We thus mark it with a star.) Alice and Bob then transmit their graph edits to each other and apply the other's graph edits to their own copy of the graph. @@ -2027,6 +2027,14 @@ \subsubsection{Disconnection} \subsection{Cursors} \label{sub:Cursors} +Like Hazel, cursor position are a position in the tree, not a particular character. +They wrap around an expression + +In most cases, cursor on position. This has the advantage of remaining stable +if the other user deletes the code under the cursor. +However, when there are multiple children, cursors need to be specific +to a particular edge. + Cursor is either on edge or on position cursors are advisory