From 1aef61266bb549206863419a84a3a898187e8d6b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?So=CC=88ren=20Hentzschel?= <kontakt@agenedia.com>
Date: Fri, 22 Mar 2019 21:49:06 +0100
Subject: [PATCH] closes #1149: fix alignment of developer tools category in
 preferences

---
 app/src/main/res/xml/preferences.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/app/src/main/res/xml/preferences.xml b/app/src/main/res/xml/preferences.xml
index 093608a12..87732df22 100644
--- a/app/src/main/res/xml/preferences.xml
+++ b/app/src/main/res/xml/preferences.xml
@@ -74,7 +74,8 @@
     </androidx.preference.PreferenceCategory>
 
     <PreferenceCategory
-        android:title="@string/developer_tools_category">
+        android:title="@string/developer_tools_category"
+        app:iconSpaceReserved="false">
         <androidx.preference.SwitchPreference
             android:icon="@drawable/ic_energy"
             android:key="@string/pref_key_remote_debugging"