diff options
Diffstat (limited to 'src/com/android/launcher3/list/SettingsPinnedHeaderAdapter.java')
-rw-r--r-- | src/com/android/launcher3/list/SettingsPinnedHeaderAdapter.java | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/com/android/launcher3/list/SettingsPinnedHeaderAdapter.java b/src/com/android/launcher3/list/SettingsPinnedHeaderAdapter.java index 8a77502e8..4e25a3b15 100644 --- a/src/com/android/launcher3/list/SettingsPinnedHeaderAdapter.java +++ b/src/com/android/launcher3/list/SettingsPinnedHeaderAdapter.java @@ -160,6 +160,14 @@ public class SettingsPinnedHeaderAdapter extends PinnedHeaderListAdapter { : res.getString(R.string.setting_state_off); ((TextView) v.findViewById(R.id.item_state)).setText(state); break; + case 1: + current = SettingsProvider.getBoolean(mContext, + SettingsProvider.SETTINGS_UI_GENERAL_TEXT_SMALL, + R.bool.preferences_interface_general_text_small_default); + state = current ? res.getString(R.string.setting_state_on) + : res.getString(R.string.setting_state_off); + ((TextView) v.findViewById(R.id.item_state)).setText(state); + break; default: ((TextView) v.findViewById(R.id.item_state)).setText(""); } @@ -309,6 +317,12 @@ public class SettingsPinnedHeaderAdapter extends PinnedHeaderListAdapter { mLauncher.setUpdateDynamicGrid(); break; case 1: + onSettingsBooleanChanged(v, + SettingsProvider.SETTINGS_UI_GENERAL_TEXT_SMALL, + R.bool.preferences_interface_general_text_small_default); + mLauncher.setUpdateDynamicGrid(); + break; + case 2: Intent intent = new Intent(); intent.setClassName(OverviewSettingsPanel.ANDROID_SETTINGS, OverviewSettingsPanel.ANDROID_PROTECTED_APPS); |