3 ms·
I’m interested in this as well and know nothing but know of a few things. I know of The Craft of Text Editing. https://www.finseth.com/craft/ https://www.fins
by bmitc 5y ago
I’m interested in this as well and know nothing but know of a few things.
I know of The Craft of Text Editing.
https://www.finseth.com/craft/ https://www.finseth.com/craft/
There’s also the Racket editors, which includes a text editor control, in the Racket Graphical Interface Toolkit. It’s what is used to implement the DrRacket IDE.
https://docs.racket-lang.org/gui/editor-overview.html https://docs.racket-lang.org/gui/editor-overview.html