[gnome-builder] settings: remove miner gsettings

[Christian Hergert <chergert src gnome org>]

commit 8d20e0850f2578a775ace8308291bddab95aca2d
Author: Christian Hergert <chergert redhat com>
Date:   Thu Nov 9 00:00:21 2017 -0800

    settings: remove miner gsettings

 data/gsettings/org.gnome.builder.gschema.xml     |    5 -----
 src/libide/preferences/ide-preferences-builtin.c |    3 ---
 2 files changed, 0 insertions(+), 8 deletions(-)
---
diff --git a/data/gsettings/org.gnome.builder.gschema.xml b/data/gsettings/org.gnome.builder.gschema.xml
index bb0563d..03c653d 100644
--- a/data/gsettings/org.gnome.builder.gschema.xml
+++ b/data/gsettings/org.gnome.builder.gschema.xml
@@ -20,11 +20,6 @@
       <summary>Night Mode</summary>
       <description>Prefer dark application chrome.</description>
     </key>
-    <key name="enable-project-miners" type="b">
-      <default>true</default>
-      <summary>Mine projects</summary>
-      <description>Search directories for projects.</description>
-    </key>
     <key name="projects-directory" type="s">
       <default>"Projects"</default>
       <summary>Projects directory</summary>
diff --git a/src/libide/preferences/ide-preferences-builtin.c 
b/src/libide/preferences/ide-preferences-builtin.c
index efe9489..e1ac633 100644
--- a/src/libide/preferences/ide-preferences-builtin.c
+++ b/src/libide/preferences/ide-preferences-builtin.c
@@ -399,9 +399,6 @@ ide_preferences_builtin_register_projects (DzlPreferences *preferences)
   dzl_preferences_add_list_group (preferences, "projects", "directory", _("Workspace"), GTK_SELECTION_NONE, 
0);
   dzl_preferences_add_file_chooser (preferences, "projects", "directory", "org.gnome.builder", 
"projects-directory", NULL, _("Projects directory"), _("A place for all your projects"), 
GTK_FILE_CHOOSER_ACTION_SELECT_FOLDER, NULL, 0);
   dzl_preferences_add_switch (preferences, "projects", "directory", "org.gnome.builder", 
"restore-previous-files", NULL, NULL, _("Restore previously opened files"), _("Open previously opened files 
when loading a project"), NULL, 10);
-
-  dzl_preferences_add_list_group (preferences, "projects", "discovery", _("Project Discovery"), 
GTK_SELECTION_NONE, 0);
-  dzl_preferences_add_switch (preferences, "projects", "discovery", "org.gnome.builder", 
"enable-project-miners", NULL, NULL, _("Discover projects on my computer"), _("Scan your computer for 
existing projects"), NULL, 0);
 }
 
 static void