editor api module allows you to get the current user’s editor preferences.
Usage
Methods
editor.getPreferences
Returns the current user’s editor preferences.
Types
EditorPreferences
Editor Preferences| Property | Type |
|---|---|
| __typename | string |
| codeIntelligence | boolean |
| codeSuggestion | boolean |
| fontSize | number |
| indentIsSpaces | boolean |
| indentSize | number |
| keyboardHandler | string |
| minimapDisplay | string |
| multiselectModifierKey | string |
| wrapping | boolean |