From 28f47e8248faf83b83962b64b3091d6fa458b246 Mon Sep 17 00:00:00 2001
From: Kevin Sawicki <kevin@github.com>
Date: Wed, 12 Jun 2013 12:48:25 -0700
Subject: [PATCH] hideGitIgnoredFiles is under core key, not editor

---
 src/app/general-config-panel.coffee | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/app/general-config-panel.coffee b/src/app/general-config-panel.coffee
index 1867f5c6d..302b4be85 100644
--- a/src/app/general-config-panel.coffee
+++ b/src/app/general-config-panel.coffee
@@ -16,8 +16,8 @@ class GeneralConfigPanel extends ConfigPanel
 
         @div class: 'control-group', =>
           @div class: 'checkbox', =>
-            @label for: 'editor.hideGitIgnoredFiles', =>
-              @input id: 'editor.hideGitIgnoredFiles', type: 'checkbox'
+            @label for: 'core.hideGitIgnoredFiles', =>
+              @input id: 'core.hideGitIgnoredFiles', type: 'checkbox'
               @text 'Hide Git-Ignored Files'
 
           @div class: 'checkbox', =>