Menu button not clicking on mobile browsers

kframework / kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/

5 stars 5 forks source link

Menu button not clicking on mobile browsers #1

Closed pdaian closed 11 years ago

pdaian commented 11 years ago

Has to do with body's onclick method triggering during a touch event and wiping all the menus. Possible solution is not to activate right click navigation on touch-enabled devices.

pdaian commented 11 years ago

Fixed in a8765fafa96afff9a46988d173139905f54b0950