filename = "/tmp/xxx.html" #можно и имя текущего файла заюзать, пристегнув к нему ".html"
# заголовок файла, заодно включение переноса по словам (в логах строки бывают длинными)
write_file("<html><body><pre style=\"white-space: -moz-pre-wrap;"\
"white-space: -pre-wrap;white-space: -o-pre-wrap;"\
"white-space: pre-wrap;word-wrap: break-word;\">", filename)
b = 0
info = get_style_at_pos(b) # информация о стиле символа на данной позиции
while (info[])
{
# сначала стиль
str = "<font color=" info["rgb"] ">"
if (info["bold"]) str = str "<b>"
if (info["italic"]) str = str "<i>"
append_file(str, filename)
# теперь сам текст (плюс немножко необходимых преобразований для HTML)
e = b + info["extent"]
append_file(replace_in_string(replace_in_string(\
get_range(b,e), "&", "&", "copy"), "<", "<", "copy"), filename)
# ну и опять стиль
str = "</font>"
if (info["italic"]) str = "</i>" str
if (info["bold"]) str = "</b>" str
append_file(str, filename)
# следующая итерация
b = e
info = get_style_at_pos(b)
}
append_file("</pre></body></html>", filename)