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>");
}
public void Render(string html_code)
{
Gtk.HTMLStream stream = html_panel.Begin("text/html");
stream.Write(html_code);
html_panel.End(stream, HTMLStreamStatus.Ok);
}