Fix show/hide line numbers in editor

2026-01-26 15:28:27 -05:00 · 2016-08-30 13:20:17 -07:00
parent 9574a831b1
commit 9451ca0254
2 changed files with 14 additions and 0 deletions
--- a/src/text-editor-registry.js
+++ b/src/text-editor-registry.js
@@ -12,6 +12,7 @@ const EDITOR_PARAMS_BY_SETTING_KEY = [
  ['editor.tabLength', 'tabLength'],
  ['editor.invisibles', 'invisibles'],
  ['editor.showIndentGuide', 'showIndentGuide'],
+  ['editor.showLineNumbers', 'showLineNumbers'],
  ['editor.softWrap', 'softWrapped'],
  ['editor.softWrapHangingIndent', 'softWrapHangingIndentLength'],
  ['editor.softWrapAtPreferredLineLength', 'softWrapAtPreferredLineLength'],