From b78f3177a60b05a69844636966d938266581cd6f Mon Sep 17 00:00:00 2001
From: Piv <18462828+Piv200@users.noreply.github.com>
Date: Thu, 6 Feb 2020 21:35:19 +1030
Subject: [PATCH] Add zmq port to settings

---
 app/src/main/res/xml/root_preferences.xml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/app/src/main/res/xml/root_preferences.xml b/app/src/main/res/xml/root_preferences.xml
index e425d6a..0c2b451 100644
--- a/app/src/main/res/xml/root_preferences.xml
+++ b/app/src/main/res/xml/root_preferences.xml
@@ -42,4 +42,11 @@
 
     </PreferenceCategory>
 
+    <PreferenceCategory android:title="0MQ SLAM Connection">
+        <EditTextPreference
+            android:key="zmqPort"
+            android:title="0MQ Port"
+            app:useSimpleSummaryProvider="true" />
+    </PreferenceCategory>
+
 </PreferenceScreen>