Use append_to_html rather than function to_html: STRING

this is mainly to avoid creating useless intermediary strings.
This commit is contained in:
Jocelyn Fiat
2013-02-26 12:22:53 +01:00
parent b543a6b6f2
commit 0902eef91c
17 changed files with 118 additions and 102 deletions

View File

@@ -82,7 +82,7 @@ feature -- Execution
end
fd.apply_to_associated_form
end
b.append (f.to_html (theme))
f.append_to_html (theme, b)
end
else
set_title ("Access denied")

View File

@@ -87,7 +87,7 @@ feature -- Execution
end
fd.apply_to_associated_form
end
b.append (f.to_html (theme))
f.append_to_html (theme, b)
end
else
b.append ("<h1>Access denied</h1>")