Попутно нашел еще один баг.
У дропдаун-меню, вызываемого по нажатию на кнопку нет свойства href, вернее оно не описано в документации. Однако же оно на самом деле есть, ему можно присваивать значения и использовать.
Вроде замечательно, кроме одного НО: изменить можно только один раз
Можно конечно и больше, только вот считываться ссылка будет только после первого изменения, все последующие изменения этого свойства само href менять будут, но по щелчку переход все равно будет происходить по ссылке, присвоенной первый раз.
Вот такая она, библиотека ExtJS. Глючная до безобразия.
Тихо сам с собой...