From 33840d22eab435b30f1f61d41336802d5ae6842c Mon Sep 17 00:00:00 2001
From: Felix Ableitner <me@nutomic.com>
Date: Wed, 14 May 2014 13:39:52 +0200
Subject: [PATCH] Use preference information style instead of disabling it.

---
 src/main/res/xml/settings.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/res/xml/settings.xml b/src/main/res/xml/settings.xml
index bbcb784f..ab5c3204 100644
--- a/src/main/res/xml/settings.xml
+++ b/src/main/res/xml/settings.xml
@@ -9,6 +9,6 @@
 	<Preference
         android:key="syncthing_version"
 		android:title="@string/syncthing_version_title"
-		android:enabled="false" />
+        style="?android:preferenceInformationStyle" />
 
 </PreferenceScreen>