From 58add85f0955480bd3b79f3ac484aa24db747a12 Mon Sep 17 00:00:00 2001 From: Nathan Sobo Date: Wed, 10 Apr 2013 18:56:24 -0600 Subject: [PATCH] Add editor.showLineNumbers option --- src/app/editor-config-panel.coffee | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/app/editor-config-panel.coffee b/src/app/editor-config-panel.coffee index 31b6eef68..b0cbbde44 100644 --- a/src/app/editor-config-panel.coffee +++ b/src/app/editor-config-panel.coffee @@ -24,6 +24,10 @@ class EditorConfigPanel extends ConfigPanel @label for: 'editor.autoIndentOnPaste', "Auto Indent on Paste:" @input id: 'editor.autoIndentOnPaste', type: 'checkbox' + @div class: 'row', => + @label for: 'editor.showLineNumbers', "Show Line Numbers:" + @input id: 'editor.showLineNumbers', type: 'checkbox' + @div class: 'row', => @label for: 'editor.showInvisibles', "Show Invisible Characters:" @input id: 'editor.showInvisibles', type: 'checkbox'