diff options
Diffstat (limited to 'java/res/xml/prefs.xml')
-rw-r--r-- | java/res/xml/prefs.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/java/res/xml/prefs.xml b/java/res/xml/prefs.xml index 2f321814e..d02e5d7b6 100644 --- a/java/res/xml/prefs.xml +++ b/java/res/xml/prefs.xml @@ -132,6 +132,12 @@ android:summary="@string/bigram_suggestion_summary" android:persistent="true" android:defaultValue="true" /> + <CheckBoxPreference + android:key="enable_span_insert" + android:title="@string/enable_span_insert" + android:summary="@string/enable_span_insert_summary" + android:persistent="true" + android:defaultValue="true" /> <!-- TODO: evaluate results and revive this option. The code already supports it. --> <!-- <CheckBoxPreference --> <!-- android:key="bigram_prediction" --> |