geoext/geoext — pull request #9 by ahocevar (2011-12-08 21:31:41+00:00)
Title: Use HTML in the layer name

See http://trac.geoext.org/ticket/296.