geeksville/Gaggle — pull request #90 by hansvdam (2012-12-20 15:31:22+00:00)
Title: Create background map to archives

There's a lot more fixed than only what the title suggests, but the title shows what's on the surface. I also restored the theme-switching functionality, and the retention of the selected tab, when going back and forth between the app and the preferences. When the them is changed it restarts the activity in onActivityResult of TopActivity. this was how it was already. I could imagine that it is a bit of a crude way to enforce a new theme. Moreover, it meant saving the current tab was also a bit more of a hassle. Anyway it all seems to work now, AND like the title says, there's an interesting extra option at the bottom of the archives-selection menu....