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 PreferencesProperty | Type |
---|---|
__typename | string |
codeIntelligence | boolean |
codeSuggestion | boolean |
fontSize | number |
indentIsSpaces | boolean |
indentSize | number |
keyboardHandler | string |
minimapDisplay | string |
multiselectModifierKey | string |
wrapping | boolean |