editor API experimental
The editor api module allows you to get the current user's editor preferences.
Usage
import { experimental } from '@replit/extensions';
const { editor } = experimental;
Methods
editor.getPreferences
Returns the current user's editor preferences.
getPreferences(): Promise<EditorPreferences>
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 |