Docs


Ace editor

For editing in the browser, we use the Ace editor.
This does JavaScript and Python and TypeScript syntax highlighting. It also does JavaScript syntax checking.

Here are some useful links:

Ace keyboard shortcuts:

Ancient Brain keyboard shortcuts: