mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-22 00:19:24 +03:00
Add core.hideGitIgnoredFiles option
This commit is contained in:
parent
4e787ceb43
commit
7359101bac
@ -5,5 +5,9 @@ class GeneralConfigPanel extends ConfigPanel
|
|||||||
@content: ->
|
@content: ->
|
||||||
@div class: 'config-panel', =>
|
@div class: 'config-panel', =>
|
||||||
@div class: 'row', =>
|
@div class: 'row', =>
|
||||||
@label for: 'core.autosave', "Autosave on Unfocus:"
|
@label for: 'core.hideGitIgnoredFiles', "Hide files in .gitignore:"
|
||||||
|
@input id: 'core.hideGitIgnoredFiles', type: 'checkbox'
|
||||||
|
|
||||||
|
@div class: 'row', =>
|
||||||
|
@label for: 'core.autosave', "Autosave on unfocus:"
|
||||||
@input id: 'core.autosave', type: 'checkbox'
|
@input id: 'core.autosave', type: 'checkbox'
|
||||||
|
Loading…
Reference in New Issue
Block a user