ankidroid/Anki-Android — pull request #477 by timrae (2014-09-06 09:41:49+00:00)
Title: Fix bug where preferences changes are not applied

Restart all the activities inheriting from `NavigationDrawerActivity` whenever there is a preference change to ensure that we load the new preferences properly.