Browse Source

Fix bug when removing a server. header_defaultserver is a string everywhere else but here.

pull/410/head
Alon Albert 7 years ago
parent
commit
0461162759
  1. 2
      app/src/main/java/org/transdroid/core/app/settings/ApplicationSettings.java

2
app/src/main/java/org/transdroid/core/app/settings/ApplicationSettings.java

@ -258,7 +258,7 @@ public class ApplicationSettings { @@ -258,7 +258,7 @@ public class ApplicationSettings {
edit.remove("header_defaultserver");
} else if (defaultServer > order) {
// Move 'up' one place to account for the removed server setting
edit.putInt("header_defaultserver", --order);
edit.putString("header_defaultserver", String.valueOf(--order));
}
edit.apply();

Loading…
Cancel
Save