📝Pretty-printing can be used to layout widgets in Projectional Editors

tags
Pretty-Printing Projectional Editor
source
Growing a Structural Editor: Layout Combinators

In general, pretty printers can be used to layout any widgets in an indented layout.

Growing a Structural Editor: Layout Combinators discusses how to use pretty-printing to layout widgets in projectional editor. However, it skips the problem of cursor stability (i.e., cursor may jump unexpectedly when re-indenting the document).

ce4/virtual doc explores how to keep the cursor stable.

Backlinks