jbe/bsw@0: function ui_deprecated.label(value)
jbe/bsw@0:   slot.put '<div class="ui_label">' 
jbe/bsw@0:   ui_deprecated.text( value )
jbe/bsw@0:   slot.put '</div>\n'
jbe/bsw@0: end