note
description: "Widget embedding html text/code, this will render as it is in target html"
date: "$Date$"
revision: "$Revision$"
class
WSF_WIDGET_TEXT
inherit
WSF_WIDGET
create
make_with_text
feature {NONE} -- Initialization
make_with_text (a_text: READABLE_STRING_8)
do
text := a_text
end
feature -- Access
text: READABLE_STRING_8
feature -- Change
set_text (a_text: like text)
do
text := a_text
end
feature -- Conversion
append_to_html (a_theme: WSF_THEME; a_html: STRING_8)
do
a_html.append (text)
end
end