Hi Scott,

We've committed the ExtJS patch. Right now it's in the trunk, meaning it will be part of 15.1. If there are specific cases under 14.3 that would be improved with this, please let us know and we can backport if needed.

Thanks,
Josh