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 8622f663f6
commit 5e37b3da22

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