Use ext.js's delay syntax instead of the browser's