9 Commits

Author	SHA1	Message	Date
David Schmenk	454ecb29a8	Improve indent/undent and toggle gutter view. Additional compiler stats	2019-12-16 08:25:58 -08:00
David Schmenk	bc45a9263c	Fix some editor redraw issues	2019-12-15 13:24:26 -08:00
David Schmenk	72ddf025e3	Update editor docs	2019-12-14 19:25:01 -08:00
David Schmenk	a902bc4c97	DP 1ED (editor!) release	2019-12-14 18:42:56 -08:00
David Schmenk	1fce2f5916	Apple /// and ][ editor keyboard tweaks	2018-02-10 10:09:33 -08:00
David Schmenk	5499614c16	Update Editor.md	2018-01-31 15:16:57 -08:00
David Schmenk	ca32469253	Update Editor.md	2018-01-31 15:15:24 -08:00
David Schmenk	b85e85e18b	Update Editor.md	2018-01-31 15:14:09 -08:00
David Schmenk	a58886b19f	Add editor readme	2018-01-31 15:03:18 -08:00