Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface Backend

Extension API for extensions which need to operate in the back end process.

Hierarchy

  • Backend

Index

Methods

registerSessionBackend

registerSyntaxThemeProvider

registerTerminalThemeProvider

Generated using TypeDoc