commit 790e86331b02169309ee6f9e5256c31ffe6bb82e
author Kasper Nilsson <kaspern@google.com> Tue Jan 30 10:47:51 2018 -0800
committer Kasper Nilsson <kaspern@google.com> Tue Jan 30 10:47:51 2018 -0800
tree 913d1e9e9c5319f48bedd7cc1cbf4ae61547a78a
parent 5d3c9d0a3b645fb626c76be799e3951f3caa976d

Remove some deleted prefs values

Also fixes the lack of negation of prefs.hide_line_numbers.

Change-Id: Ia854fb06564014c9d6a6ebe908eeda19821e8571

gr-editor/gr-editor.js

diff --git a/gr-editor/gr-editor.js b/gr-editor/gr-editor.js
index fc998ca..4001dab 100644
--- a/gr-editor/gr-editor.js
+++ b/gr-editor/gr-editor.js
@@ -58,15 +58,13 @@
         // TODO: Add gerrit's customizations from java codemirror to javascript
         // gerrit-gwtui/src/main/java/net/codemirror/lib/Extras.java
         params.autoCloseBrackets = prefs.auto_close_brackets;
-        params.cursorBlinkRate = prefs.cursor_blink_rate;
         params.cursorHeight = 0.85;
-        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.lineLength = prefs.line_length;
-        params.lineNumbers = prefs.hide_line_numbers;
+        params.lineNumbers = !prefs.hide_line_numbers;
         params.lineWrapping = prefs.line_wrapping;
         params.indentWithTabs = prefs.indent_with_tabs;
         params.matchBrackets = prefs.match_brackets;