Has anyone tried using OpenLayers with ExtJS 4? I've been using GeoExt to work with ExtJS 3, but I've looked through the source, and it will take some time to port it to the new version. Has anybody done anything simpler (just embedding an OpenLayers map in an ExtJS4 page?) If I get anywhere, I'll let you know what I find. Luke