Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface EditorSettings

The settings for the editor

Hierarchy

  • EditorSettings

Index

Properties

Properties

cssUnderlineDisabled

cssUnderlineDisabled: boolean

Whether to disable the underlining of css colors

disabledMetaDataHighlight

disabledMetaDataHighlight: boolean

Whether to disable the highlight of userscript metadata at the top of the file

keyBindings

keyBindings: KeyBindings

The keybindings for the editor

theme

theme: "white" | "dark"

The theme to use for the editor

zoom

zoom: string

The zoom on the editor (in percentage)

Generated using TypeDoc