mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-12-31 02:28:11 +03:00
hideGitIgnoredFiles is under core key, not editor
This commit is contained in:
parent
f870dc7b72
commit
28f47e8248
@ -16,8 +16,8 @@ class GeneralConfigPanel extends ConfigPanel
|
|||||||
|
|
||||||
@div class: 'control-group', =>
|
@div class: 'control-group', =>
|
||||||
@div class: 'checkbox', =>
|
@div class: 'checkbox', =>
|
||||||
@label for: 'editor.hideGitIgnoredFiles', =>
|
@label for: 'core.hideGitIgnoredFiles', =>
|
||||||
@input id: 'editor.hideGitIgnoredFiles', type: 'checkbox'
|
@input id: 'core.hideGitIgnoredFiles', type: 'checkbox'
|
||||||
@text 'Hide Git-Ignored Files'
|
@text 'Hide Git-Ignored Files'
|
||||||
|
|
||||||
@div class: 'checkbox', =>
|
@div class: 'checkbox', =>
|
||||||
|
Loading…
Reference in New Issue
Block a user