nohuhu, А возможно об этой проблеме сообщить в техподдержку Сенчи? Вы как специалист, который там работает, могли бы корректно объяснить в чем есть проблема.

Только вот неизвестно будут ли это править и даже если будут, насколько долго это затянется :-?

В техподдержку сообщить можно, но толку от этого будет мало, т.к. они могут только создать тикет для разработчиков Ext JS, сами починить проблему они не смогут. А у меня такой тикет уже есть, но всё времени не хватает до него добраться. :(