private void ShowHtml(string htmlText)
{
Console.WriteLine(htmlText);
HTMLStream htmlStream = html.Begin();
htmlStream.Write(htmlText);
html.End(htmlStream, HTMLStreamStatus.Ok);
}
protected override void DoRefresh()
{
Gtk.HTMLStream stream = html.Begin();
stream.Write("<html><body>");
if (DisplayedCount > 0)
{
// FIXME: layout in a table, or something
for (int i = FirstDisplayed; i <= LastDisplayed; ++i)
{
Hit hit = (Hit)Hits [i];
Tile t = (Tile)tiles [hit];
stream.Write(t.Html);
}
}
stream.Write("</body></html>");
}