@@ -355,7 +364,8 @@ const fontFamilyOptions = {
};
function SettingsTab({ scheduler }) {
- const { theme, keybindings, fontSize, fontFamily } = useSettings();
+ const { theme, keybindings, isLineNumbersDisplayed, isAutoCompletionEnabled, fontSize, fontFamily } = useSettings();
+
return (
{/*
@@ -397,13 +407,25 @@ function SettingsTab({ scheduler }) {
/>
-
- settingsMap.setKey('keybindings', keybindings)}
- items={{ codemirror: 'Codemirror', vim: 'Vim', emacs: 'Emacs' }}
- >
-
+
+
+ settingsMap.setKey('keybindings', keybindings)}
+ items={{ codemirror: 'Codemirror', vim: 'Vim', emacs: 'Emacs' }}
+ >
+
+ settingsMap.setKey('isLineNumbersDisplayed', cbEvent.target.checked)}
+ value={isLineNumbersDisplayed}
+ />
+ settingsMap.setKey('isAutoCompletionEnabled', cbEvent.target.checked)}
+ value={isAutoCompletionEnabled}
+ />
+