From bb05178dba21509d5b26ae0bd718a471b8c6cd5e Mon Sep 17 00:00:00 2001
From: Fabrice Di Meglio <fdimeglio@google.com>
Date: Wed, 4 Jun 2014 17:33:25 -0700
Subject: [PATCH] Fix bug #15434475 Developer Options do not show immediately
 after activating them

- allow Dashboard categories reloading

Change-Id: I02d9f1e8ed4d8b8b670835a8d717c6c08b49fe05
---
 src/com/android/settings/SettingsActivity.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/com/android/settings/SettingsActivity.java b/src/com/android/settings/SettingsActivity.java
index 18bab2c074d..e602fa6ee37 100644
--- a/src/com/android/settings/SettingsActivity.java
+++ b/src/com/android/settings/SettingsActivity.java
@@ -630,6 +630,7 @@ public class SettingsActivity extends Activity
         mDevelopmentPreferencesListener = new SharedPreferences.OnSharedPreferenceChangeListener() {
             @Override
             public void onSharedPreferenceChanged(SharedPreferences sharedPreferences, String key) {
+                setNeedToRebuildCategories(true);
                 invalidateCategories();
             }
         };