A JavaScript framework that combines the GIS functionality of OpenLayers with all features of the ExtJS library