pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-09-22 00:19:24 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add editor.showLineNumbers option

Browse Source
This commit is contained in:
Nathan Sobo 2013-04-10 18:56:24 -06:00 committed by Corey Johnson & Kevin Sawicki
parent 7359101bac
commit 58add85f09
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/app/editor-config-panel.coffee
View File

@ -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'