From abf6b09328bef238df760a3ec1525e9c2d5aa453 Mon Sep 17 00:00:00 2001
From: Janne Koschinski <janne@kuschku.de>
Date: Sat, 31 Mar 2018 02:14:30 +0200
Subject: [PATCH] Add missing preference back in
---
app/src/main/res/xml/preferences.xml | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/app/src/main/res/xml/preferences.xml b/app/src/main/res/xml/preferences.xml
index 9193f53bf..76c7c5d82 100644
--- a/app/src/main/res/xml/preferences.xml
+++ b/app/src/main/res/xml/preferences.xml
@@ -61,6 +61,13 @@
android:key="@string/preference_colorize_nicknames_key"
android:title="@string/preference_colorize_nicknames_title" />
+ <DropDownPreference
+ android:defaultValue="HIGHEST"
+ android:entries="@array/preference_show_prefix_entries"
+ android:entryValues="@array/preference_show_prefix_entryvalues"
+ android:key="@string/preference_show_prefix_key"
+ android:title="@string/preference_show_prefix_title" />
+
<SwitchPreference
android:defaultValue="false"
android:key="@string/preference_nicks_on_new_line_key"
--
GitLab