Resource Editor width handled by ExtJS. Fixes #491