Revert "Remove theme and key map references"
This reverts commit 4a9992280bae1ae5537deb7efba7f956bd616a0e.
Reason for revert: <INSERT REASONING HERE>
Change-Id: Iaf6859b4dd31226d9ad09c363616561903281749
diff --git a/gr-editor/gr-editor.js b/gr-editor/gr-editor.js
index 5201a2d..58826c5 100644
--- a/gr-editor/gr-editor.js
+++ b/gr-editor/gr-editor.js
@@ -63,8 +63,7 @@
params.hideTopMenu = prefs.hide_top_menu;
params.indentUnit = prefs.indent_unit;
params.indentWithTabs = prefs.indent_with_tabs;
- // TODO(kaspern): Add support for keymaps.
- // params.keyMap = prefs.key_map_type.toLowerCase();
+ params.keyMap = prefs.key_map_type.toLowerCase();
params.lineLength = prefs.line_length;
params.lineNumbers = prefs.hide_line_numbers;
params.lineWrapping = prefs.line_wrapping;
@@ -79,7 +78,6 @@
params.showTrailingSpace = prefs.show_whitespace_errors;
params.styleSelectedText = true;
params.tabSize = prefs.tab_size;
- // TODO(kaspern): Add support for themes.
params.theme = prefs.theme.toLowerCase();
if (value && value.includes('\r\n')) {