diff options
author | zeapo <mohamed@zenadi.com> | 2017-06-24 13:10:17 +0200 |
---|---|---|
committer | zeapo <mohamed@zenadi.com> | 2017-06-24 13:10:17 +0200 |
commit | 2788786f65b541e8797c24608f64f7a05c3e430d (patch) | |
tree | 7d68268a745c9b01b628f579b406cdc4f05794ea /app/src/main/res/xml/preference.xml | |
parent | 2c076fb0eb0d7f1a39b799c0ab5355fd43d4c49f (diff) |
add default android file picker for selecting ssh-key
Diffstat (limited to 'app/src/main/res/xml/preference.xml')
-rw-r--r-- | app/src/main/res/xml/preference.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index 250370e7..ec740836 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -103,6 +103,11 @@ android:key="clear_clipboard_20x" android:summary="@string/pref_clear_clipboard_hint" android:title="@string/pref_clear_clipboard_title" /> + + <CheckBoxPreference + android:defaultValue="false" + android:key="use_android_file_picker" + android:title="Use default file picker" /> </PreferenceCategory> <Preference |