Browse Source

Merge pull request #410 from alonalbert/default_server_setting

Fix bug when removing a server.
pull/424/head
Eric Kok 7 years ago committed by GitHub
parent
commit
cf631068c1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  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