Editor Settings
Change how the editor looks and behaves.
Changes are saved as you make them.
Show the error console
Adds a pane for console.error() and console.warn().
Restore the last session
Reopens the editor with whatever you last had in it.
Editor theme
Choose the colour scheme applied to the editor.
Font size
Change the size of the text in the editor.
Word wrap
Wrap long lines at the width of the editor.
Minimap
Show the scaled-down overview on the right edge.
Input and output pane height
Change how tall the input and output panes are.
Execution timeout
Runs longer than this are cut off, so an infinite loop never locks up the tab.
Reset everything
Restores every setting, saved draft, input and expected output.