jfeinstein10/SlidingMenu — pull request #377 by GoMino (2013-04-16 15:09:04+00:00)
Title: Sensibility fix

On some devices you must retry several times before successfully opening/closing the sliding menu, this pull request fix the problem.