diff options
author | Alexander Martinz <eviscerationls@gmail.com> | 2015-04-06 18:36:14 +0200 |
---|---|---|
committer | Steve Kondik <shade@chemlab.org> | 2015-11-11 04:18:13 -0800 |
commit | 317409c0bc60fdd3626a951e18de2b4359b854f2 (patch) | |
tree | 9b129d200e49c94a08df5b6eb1e9ec2f6f07983e /src/com/android | |
parent | ca53d1053617e56ba06452de4f45b4c34812840b (diff) | |
download | packages_apps_Settings-317409c0bc60fdd3626a951e18de2b4359b854f2.zip packages_apps_Settings-317409c0bc60fdd3626a951e18de2b4359b854f2.tar.gz packages_apps_Settings-317409c0bc60fdd3626a951e18de2b4359b854f2.tar.bz2 |
Settings: remove launch development tools if development app is not installed
Change-Id: If136b509e8727399b1dcfa42ce5b4043612f868f
Signed-off-by: Alexander Martinz <eviscerationls@gmail.com>
Diffstat (limited to 'src/com/android')
-rw-r--r-- | src/com/android/settings/DevelopmentSettings.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/com/android/settings/DevelopmentSettings.java b/src/com/android/settings/DevelopmentSettings.java index 531ea84..bb31b79 100644 --- a/src/com/android/settings/DevelopmentSettings.java +++ b/src/com/android/settings/DevelopmentSettings.java @@ -454,7 +454,10 @@ public class DevelopmentSettings extends SettingsPreferenceFragment } mDevelopmentTools = (PreferenceScreen) findPreference(DEVELOPMENT_TOOLS); - mAllPrefs.add(mDevelopmentTools); + if (Utils.updatePreferenceToSpecificActivityOrRemove(getActivity(), + getPreferenceScreen(), mDevelopmentTools.getKey(), 0)) { + mAllPrefs.add(mDevelopmentTools); + } mColorModePreference = (ColorModePreference) findPreference(KEY_COLOR_MODE); mColorModePreference.updateCurrentAndSupported(); |