Settings

• prettifySymbolsMode.prettyCursor: Rendering options for symbols that are contacted by the cursor. "boxed" displays a box outline and "none" does not change its appearance.
• prettifySymbolsMode.adjustCursorMovement: If true, this extension will attempt to adjust cursor movement so that each symbol behaves as a single character. This currently does not work for all kinds of cursor movement.
• prettifySymbolsMode.revealOn: Controls if and when a symbol is unfolded to reveal the original text in response to cursor(s) proximity and selection.
• prettifySymbolsMode.substitutions: An array of settings for different language targets. Each entry consists of:
  • language: Describes the languages on which this entry applies. Refer to the vscode API for more information. Can be any of the following forms:
    1. A language identifier, as defined by vscode and the extensions you have installed (e.g. "ocaml", "fsharp", "plaintext").
    2. A DocumentFilter, composed of one or more of:
    • language: a language identifier
    • pattern: a glob pattern (e.g. "**/*.{txt,ml}")
    • scheme: a URL scheme (e.g. "http" or "file")
    3. An array of (a) and (b)
  • prettyCursor: overrides prettifySymbolsMode.prettyCursor
  • adjustCursorMovement: overrides prettifySymbolsMode.adjustCursorMovement
  • revealOn: overrides prettifySymbolsMode.revealOn
  • substitutions: an array of substitutions
    • ugly [required]: A pattern to describe the text to be replaced. (uses Javascript regular expressions).
    • pretty [required]: Plain-text substitution. You can use Unicode characters directly or escape them, e.g. \u2211 is ∑.
    • pre: the text before "ugly" must match this regular expression for the substitution to proceed.
    • post: the text after"ugly" must match this regular expression for the substitution to proceed.
    • style: styling options to be applied to "pretty"
      • border: CSS styling property
      • textDecoration: CSS styling property
      • color: CSS styling property
      • backgroundColor: CSS styling property
      • light: styles to be applied when a "light" theme is selected
        • border: CSS styling property
        • textDecoration: CSS styling property
        • color: CSS styling property
        • backgroundColor: CSS styling property
      • dark: styles to be applied when a "dark" theme is selected
        • border: CSS styling property
        • textDecoration: CSS styling property
        • color: CSS styling property
        • backgroundColor: CSS styling property