Browse Source

Fix removal of settings.

pull/11/head
Eric Kok 12 years ago
parent
commit
847b1f8264
  1. 4
      core/src/org/transdroid/core/app/settings/ApplicationSettings.java

4
core/src/org/transdroid/core/app/settings/ApplicationSettings.java

@ -99,7 +99,7 @@ public class ApplicationSettings {
// Copy all settings higher than the supplied order number to the previous spot // Copy all settings higher than the supplied order number to the previous spot
Editor edit = prefs.edit(); Editor edit = prefs.edit();
int max = getMaxWebsearch(); int max = getMaxServer();
for (int i = order; i < max; i++) { for (int i = order; i < max; i++) {
edit.putString("server_name_" + i, prefs.getString("server_name_" + (i + 1), null)); edit.putString("server_name_" + i, prefs.getString("server_name_" + (i + 1), null));
edit.putString("server_type_" + i, prefs.getString("server_type_" + (i + 1), null)); edit.putString("server_type_" + i, prefs.getString("server_type_" + (i + 1), null));
@ -305,7 +305,7 @@ public class ApplicationSettings {
// Copy all settings higher than the supplied order number to the previous spot // Copy all settings higher than the supplied order number to the previous spot
Editor edit = prefs.edit(); Editor edit = prefs.edit();
int max = getMaxWebsearch(); int max = getMaxRssfeed();
for (int i = order; i < max; i++) { for (int i = order; i < max; i++) {
edit.putString("rssfeed_name_" + i, prefs.getString("rssfeed_name_" + (i + 1), null)); edit.putString("rssfeed_name_" + i, prefs.getString("rssfeed_name_" + (i + 1), null));
edit.putString("rssfeed_url_" + i, prefs.getString("rssfeed_url_" + (i + 1), null)); edit.putString("rssfeed_url_" + i, prefs.getString("rssfeed_url_" + (i + 1), null));

Loading…
Cancel
Save