Hello!

This issue is no longer actual, and the override is not necessary at least as of Ext.NET 4.2.1 (we didn't pinpoint which version ExtJS addressed this issue, but their thread also does not point towards a revision that fixed this.

So we just removed the override and are now marking this as fixed! :)