There was some discussion of porting GeoExt to ExtJS 4 a while back - has any progress been made? I've come across someone on the Sencha forums who has already started a porting effort, would this make a good starting point? I've quoted his post below:
<quote> I start github project https://github.com/vahid-sohrabloo/GeoExt4 first example on extjs 4 http://vahid-sohrabloo.github.com/Ge...panel-div.html I working for convert GeoExt to GeoExt4 everyone can help to me please join to me on github </quote> Luke _______________________________________________ Dev mailing list [email protected] http://www.geoext.org/cgi-bin/mailman/listinfo/dev
