mirror of
https://gitlab.futo.org/keyboard/latinime.git
synced 2024-09-28 14:54:30 +01:00
Merge "Move "Personalized suggestions" option."
This commit is contained in:
commit
da173b6ee3
@ -89,6 +89,12 @@
|
||||
android:entryValues="@array/prefs_suggestion_visibility_values"
|
||||
android:entries="@array/prefs_suggestion_visibilities"
|
||||
android:defaultValue="@string/prefs_suggestion_visibility_default_value" />
|
||||
<CheckBoxPreference
|
||||
android:key="pref_key_use_personalized_dicts"
|
||||
android:title="@string/use_personalized_dicts"
|
||||
android:summary="@string/use_personalized_dicts_summary"
|
||||
android:persistent="true"
|
||||
android:defaultValue="true" />
|
||||
</PreferenceCategory>
|
||||
<PreferenceCategory
|
||||
android:title="@string/gesture_typing_category"
|
||||
@ -133,12 +139,6 @@
|
||||
android:summary="@string/use_contacts_dict_summary"
|
||||
android:persistent="true"
|
||||
android:defaultValue="true" />
|
||||
<CheckBoxPreference
|
||||
android:key="pref_key_use_personalized_dicts"
|
||||
android:title="@string/use_personalized_dicts"
|
||||
android:summary="@string/use_personalized_dicts_summary"
|
||||
android:persistent="true"
|
||||
android:defaultValue="true" />
|
||||
<CheckBoxPreference
|
||||
android:key="pref_key_use_double_space_period"
|
||||
android:title="@string/use_double_space_period"
|
||||
|
Loading…
Reference in New Issue
Block a user