commit 123da30f6cc3b1cd46b320fcd49cbf07f6a48b65
author Kasper Nilsson <kaspern@google.com> Tue Jan 02 15:03:57 2018 -0800
committer Kasper Nilsson <kaspern@google.com> Tue Jan 02 15:03:57 2018 -0800
tree ef292cb55e49640d085d57ac79031f31a114bb81
parent 357a24a16bf5aa60e7f89d6b46aef8be22a2f73d

Remove theme and key map references

These are not supported by the plugin yet, and should be added with
tests later.

This change fixes an incomplete and reverted change, 1a0c58f.

Change-Id: I42909a2d62f88a390942f2af58f7b5e6a5fbe554

gr-editor/gr-editor.js

diff --git a/gr-editor/gr-editor.js b/gr-editor/gr-editor.js
index 58826c5..d75f7bd 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,7 +79,8 @@
         params.showTrailingSpace = prefs.show_whitespace_errors;
         params.styleSelectedText = true;
         params.tabSize = prefs.tab_size;
-        params.theme = prefs.theme.toLowerCase();
+        // TODO(kaspern): Add support for themes.
+        // params.theme = prefs.theme.toLowerCase();
 
         if (value && value.includes('\r\n')) {
           params.lineSeparator = '\r\n';