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.
This commit is contained in:
akwizgran
2020-01-17 13:11:54 +00:00
parent d4a64f4ee3
commit 62cb6095ca

View File

@@ -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">