Я нашел решение, которое блестяще устранило все мои проблемы в IE11.
Итак, у меня есть HTML, где я включаю следующие файлы:
- < сценарий SRC = "Библиотека/внеш-4.0.7/Ext-all.js"> ........ .................. # ExtJS lib
- < сценарий src = "app/util/overrides/lib-overrides.js"> ..... # ExtJS переопределяет
- < сценарий src = "app/main.js"> ................................. ........ # Приложение
В Lib-overrides.js вставить код, который исправить IE11:
Ext.apply(Ext, ((a = navigator.userAgent) && /Trident/.test(a) && /rv:11/.test(a)) ? {isIE:true, isIE11:true, ieVersion: 11} : {});
IE11 был освобожден и после Ext 4.0.7. –