There seems to be a bug in the setMenu method in touch-src-Default-viewport... Our fix:
// if (menu.$reveal) { // original
if (Ext.os.is.Android && Ext.os.version.lt('3') || menu.$reveal) { // fixed
Ext.getBody().insertFirst(menu.element);
// Bugfix: inner buttons of slider overlap original container while sliding - change z-index
Ext.get('ext-viewport').setStyle('z-index', '1');
}
// if (menu.$reveal) { // original
if (Ext.os.is.Android && Ext.os.version.lt('3') || menu.$reveal) { // fixed
if (Ext.browser.getPreferredTranslationMethod() != 'scrollposition') {
menu.translate(0, 0);
}
}