duckduckgo/android — pull request #72 by faraday (2013-09-19 20:38:53+00:00)
Title: fixed #71 : new Home displayed properly after a home screen change in Settings

Corrected display screen methods to maintain "homeScreenShowing" flag
Display new home if necessary at DuckDuckGo.onActivityResult