zul.wgt.Label=zk.$extends(zul.Widget,{_value:"",_maxlength:0,$define:{value:_zkf=function(){var a=this.$n();a&&(a.innerHTML=this.getEncodedText())},multiline:_zkf,pre:_zkf,maxlength:_zkf},getEncodedText:function(){return zUtl.encodeXML(this._value,{multiline:this._multiline,pre:this._pre,maxlength:this._maxlength})},getMarginSize_:function(a){var b=this.$supers("getMarginSize_",arguments);if("h"==a){var c=this.$n(),d=zk(c).offsetHeight();return b+d-c.offsetHeight}return b}});
