Allows you customize Script Editor
Full documentation of allowed options
Editor uses light or dark theme based on your browser settings.
Specify JSON here. Example: