diff options
| author | Fabrice Di Meglio <fdimeglio@google.com> | 2014-06-04 17:33:25 -0700 |
|---|---|---|
| committer | Fabrice Di Meglio <fdimeglio@google.com> | 2014-06-04 17:33:25 -0700 |
| commit | bb05178dba21509d5b26ae0bd718a471b8c6cd5e (patch) | |
| tree | e765e74488968f3195eb29073ac41c326e60e26b /src/com/android/settings/SettingsActivity.java | |
| parent | 5b210dd572d511c9f57012588745eb99410a7181 (diff) | |
| download | packages_apps_Settings-bb05178dba21509d5b26ae0bd718a471b8c6cd5e.zip packages_apps_Settings-bb05178dba21509d5b26ae0bd718a471b8c6cd5e.tar.gz packages_apps_Settings-bb05178dba21509d5b26ae0bd718a471b8c6cd5e.tar.bz2 | |
Fix bug #15434475 Developer Options do not show immediately after activating them
- allow Dashboard categories reloading
Change-Id: I02d9f1e8ed4d8b8b670835a8d717c6c08b49fe05
Diffstat (limited to 'src/com/android/settings/SettingsActivity.java')
| -rw-r--r-- | src/com/android/settings/SettingsActivity.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/com/android/settings/SettingsActivity.java b/src/com/android/settings/SettingsActivity.java index 18bab2c..e602fa6 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(); } }; |