fixup! Number format preference

2016-04-28 18:40:11 +02:00
parent 5a9bcdede7
commit 10daedc21b
13 changed files with 92 additions and 40 deletions
--- a/app/src/main/res/layout/preference_number_format.xml
+++ b/app/src/main/res/layout/preference_number_format.xml
@@ -31,4 +31,15 @@
        app:labelsSize="12sp"
        app:values="@array/cpp_prefs_precisions"/>

+    <TextView
+        style="@style/CppLabel"
+        android:layout_width="match_parent"
+        android:layout_height="wrap_content"
+        android:text="Separator"/>
+
+    <Spinner
+        android:id="@+id/nf_separator_spinner"
+        android:layout_width="match_parent"
+        android:layout_height="wrap_content"/>
+
 </LinearLayout>