Bugfix: if the user set and them unset tile size, update the value even when it's unset

This commit is contained in:
Laurent Clouet
2017-03-05 22:42:23 +01:00
parent b5e62b3416
commit 8beadeba23

View File

@@ -491,6 +491,9 @@ public class Settings implements Activity {
System.exit(2); System.exit(2);
} }
} }
else {
config.setTileSize(-1); // no tile
}
parent.setCredentials(login.getText(), new String(password.getPassword())); parent.setCredentials(login.getText(), new String(password.getPassword()));