context: qx.ui.basic.Label._textToHtml = function(s){  switch(s)  {    case qx.constant.Core.AMPERSAND:      return qx.constant.Html.AMPERSAND;    case qx.constant.Core.SMALLER:      return qx.constant.Html.SMALLER;    case qx.constant.Core.BIGGER:      return qx.constant.Html.BIGGER;    case qx.constant.Core.NEWLINE:      return qx.ui.basic.Label.BR;    default:      return qx.constant.Core.SPACE;  }}
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/32797ee18a2c92a797417cb1392f24fa90943b97/Label.js/clean/qooxdoo/frontend/framework/source/class/qx/ui/basic/Label.js