Major progress to version 2.0.0.
Minor
Cleanups in the Activities.
Slightely improve the scores dialog.
Unify the (small,medium,big,huge) UI graphics.
ask for reviews morebump to 1.13.3
Remove the generic 'MINOR' object and extras versions from JsonWriter, and replace them with per-ObjectType values. This was the reason why objects which had their 'minor' (really: version) updated to '1' in the server then never updated the jsons with locally stored versions.
Progress with Bandaged UI.
Improve the 'FactoryBandaged' API.
speedups (correctly remove the internal walls of joined elements)
View revisions
Also available in: Atom