Upgrade JQueryMobile to version 1.4.2, resolving an earlier issue where menu panel animation didn't close cleanly