Remove theme and key map references
These are not supported by the plugin yet, and should be added with
tests later.
Change-Id: I62be44b7ec1eca827dfbd03ff48b62e7d57913d6
diff --git a/gr-editor/gr-editor.js b/gr-editor/gr-editor.js
index 58826c5..5201a2d 100644
--- a/gr-editor/gr-editor.js
+++ b/gr-editor/gr-editor.js
@@ -63,7 +63,8 @@
params.hideTopMenu = prefs.hide_top_menu;
params.indentUnit = prefs.indent_unit;
params.indentWithTabs = prefs.indent_with_tabs;
- params.keyMap = prefs.key_map_type.toLowerCase();
+ // TODO(kaspern): Add support for keymaps.
+ // params.keyMap = prefs.key_map_type.toLowerCase();
params.lineLength = prefs.line_length;
params.lineNumbers = prefs.hide_line_numbers;
params.lineWrapping = prefs.line_wrapping;
@@ -78,6 +79,7 @@
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')) {
