diff options
| author | Mohamed Zenadi <mohamed@zenadi.com> | 2015-04-20 00:26:21 +0200 |
|---|---|---|
| committer | Mohamed Zenadi <mohamed@zenadi.com> | 2015-05-17 18:45:40 +0200 |
| commit | 47ffaf99bd98cb4f362f4446c2bd910e222989bf (patch) | |
| tree | 853c292e5beeb2bdb38715479b04f06e25600654 /app/src/main/res/xml | |
| parent | 72ad36c6baa82b0b65163cfbb652e7262bbd343a (diff) | |
add a preference option to select an external directory
Diffstat (limited to 'app/src/main/res/xml')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index 1d81f987..b3bed289 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -3,7 +3,12 @@ <PreferenceCategory android:title="@string/pref_git_title"> <Preference android:title="@string/pref_edit_server_info" android:key="git_server_info"/> <Preference android:title="@string/pref_ssh_title" android:key="ssh_key" /> - <Preference android:title="@string/pref_git_delete_repo" android:key="git_delete_repo"/> + <Preference android:title="@string/pref_git_delete_repo" android:key="git_delete_repo" + android:summary="Deletes local repository"/> + <CheckBoxPreference android:title="External repository" android:key="git_external" + android:summary="Use an external password repository"/> + <Preference android:title="Select external repository" android:key="pref_select_external" + android:dependency="git_external"/> </PreferenceCategory> <PreferenceCategory android:title="@string/pref_crypto_title"> |