commit 5d3c9d0a3b645fb626c76be799e3951f3caa976d
author Paladox none <thomasmulhall410@yahoo.com> Tue Jan 30 18:20:17 2018 +0000
committer Paladox none <thomasmulhall410@yahoo.com> Tue Jan 30 18:20:32 2018 +0000
tree 133cd839383d51eba90b0df4c3c64bd6881dcbed
parent 4101254bd08bc1e553b82d1e11543639c26e6d6b

Re enable line numbers through preference

Change-Id: I172dc86d7a19b23e97111751999dde7d601c1d8a

gr-editor/gr-editor.js

diff --git a/gr-editor/gr-editor.js b/gr-editor/gr-editor.js
index 4621fe7..fc998ca 100644
--- a/gr-editor/gr-editor.js
+++ b/gr-editor/gr-editor.js
@@ -66,8 +66,7 @@
         // TODO(kaspern): Add support for keymaps.
         // params.keyMap = prefs.key_map_type.toLowerCase();
         params.lineLength = prefs.line_length;
-        // Line numbers are currently broken. See Issue 8114.
-        params.lineNumbers = false;
+        params.lineNumbers = prefs.hide_line_numbers;
         params.lineWrapping = prefs.line_wrapping;
         params.indentWithTabs = prefs.indent_with_tabs;
         params.matchBrackets = prefs.match_brackets;