From 5e37b3da2258aa45d60b9460bce81bf17deefff2 Mon Sep 17 00:00:00 2001
From: akwizgran <michael@briarproject.org>
Date: Fri, 17 Jan 2020 13:11:54 +0000
Subject: [PATCH] Don't remove old settings yet.

This avoids an unlikely race condition at startup, where the user opens
the settings screen before the Tor plugin has migrated the settings.
---
 briar-android/src/main/res/values/arrays.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/briar-android/src/main/res/values/arrays.xml b/briar-android/src/main/res/values/arrays.xml
index 8a7313b73..a9dc6aed6 100644
--- a/briar-android/src/main/res/values/arrays.xml
+++ b/briar-android/src/main/res/values/arrays.xml
@@ -4,11 +4,13 @@
 		<item>@string/tor_network_setting_automatic</item>
 		<item>@string/tor_network_setting_without_bridges</item>
 		<item>@string/tor_network_setting_with_bridges</item>
+		<item>@string/tor_network_setting_never</item>
 	</string-array>
 	<string-array name="tor_network_setting_values">
 		<item>0</item>
 		<item>1</item>
 		<item>2</item>
+		<item>3</item>
 	</string-array>
 
 	<string-array name="pref_language_values">