From a8869afea92364df451b0dc0d2848ad7fd35a45a Mon Sep 17 00:00:00 2001
From: Felix Ableitner <me@nutomic.com>
Date: Fri, 12 Sep 2014 17:49:28 +0300
Subject: [PATCH] Do not allow chaning the repo path after repo has been
 created (ref #29).

---
 src/main/res/xml/repo_settings_edit.xml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/main/res/xml/repo_settings_edit.xml b/src/main/res/xml/repo_settings_edit.xml
index d0b5adb4..8bdbd45f 100644
--- a/src/main/res/xml/repo_settings_edit.xml
+++ b/src/main/res/xml/repo_settings_edit.xml
@@ -10,7 +10,9 @@
 
 	<Preference
 			android:key="directory"
-			android:title="@string/directory" />
+			android:title="@string/directory"
+            android:enabled="false"
+            style="?android:preferenceInformationStyle" />
 
 	<CheckBoxPreference
 			android:key="repo_master"
@@ -33,4 +35,4 @@
 			android:key="delete"
 			android:title="@string/delete_repo" />
 
-</PreferenceScreen>
\ No newline at end of file
+</PreferenceScreen>