Closed dan-fritchman closed 2 years ago
Task: add the "edit code prelude" UI mode.
1a4f589 adds this via a CodePreludeEditor element in the sidebar. This is also a UiMode, but mostly just so that we don't accept command-keys while typing the prelude.
CodePreludeEditor
UiMode
Task: add the "edit code prelude" UI mode.