diff options
| author | zeapo <mohamed@zenadi.com> | 2014-12-04 21:43:27 +0100 |
|---|---|---|
| committer | zeapo <mohamed@zenadi.com> | 2014-12-04 21:43:27 +0100 |
| commit | d98a30ee4828eff9b1b8c28ca917322b502ac08c (patch) | |
| tree | c72d9cbd2de773579498af1c287ed87c577edbe6 /app/src/main/res/xml | |
| parent | 173248e1bb96fd971027ac8a36fdc7e12825fe23 (diff) | |
Add the possibility to edit git server information
Also uses jgit 3.6
Diffstat (limited to 'app/src/main/res/xml')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index 7fe39daa..848a10ad 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -1,15 +1,7 @@ <?xml version="1.0" encoding="utf-8"?> <PreferenceScreen xmlns:android="http://schemas.android.com/apk/res/android"> <PreferenceCategory android:title="@string/pref_git_title"> - <EditTextPreference android:title= "@string/pref_server_title" - android:key="git_remote_server" android:hint="@string/pref_server_hint" - android:inputType="textUri" /> - <EditTextPreference android:title="@string/pref_remote_title" - android:key="git_remote_location" android:hint="@string/pref_remote_hint" - android:inputType="textUri" /> - <EditTextPreference android:title="@string/pref_git_username_title" - android:key="git_remote_username" android:hint="@string/pref_git_username_hint" - android:inputType="textPersonName" /> + <Preference android:title="@string/pref_edit_server_info" android:key="git_server_info"/> <Preference android:title="@string/pref_ssh_title" android:key="ssh_key" /> </PreferenceCategory> |