Skip to content

Source on GitHub

Select theme

Start here
Guides
Concepts
Reference

Source on GitHub

Select theme

On this page

Overview
Parameters
- options
Returns

On this page

Overview
Parameters
- options
Returns

createLanguageServerSetPlugin

createLanguageServerSetPlugin(options): EditorPlugin

Parameters

Section titled “Parameters”

options

Section titled “options”

LanguageServerSetPluginOptions

Returns

Section titled “Returns”

EditorPlugin