geoext/geoext2 — pull request #135 by elemoine (2012-05-11 15:52:18+00:00)
Title: Map Panel overhaul

The new map panel basically mimics the old map panel (from GeoExt 1).