2014-08-30
* added Android "menu" button to be treated as "yes" requester button
(while the Android "back" button was already treated as "no" button)
2014-08-30
* added Android "menu" button to be treated as "yes" requester button
(while the Android "back" button was already treated as "no" button)