chickadee » awful » enable-web-repl-fancy-editor

enable-web-repl-fancy-editor #!optional booleanparameter

Indicates whether the web REPL should use a fancier editor for the input area. The editor is based on codemirror. Without the fancy editor, the input area is a simple HTML textarea. The default value for use-fancy-editor is #t.