protected override void OnResize(EventArgs e)
{
if (_html != null && _rendered_width != Width)
{
_rendered_width = Width;
_html.media_changed();
_html.render(_rendered_width);
//set_size_request(_html.width, _html.height);
Refresh();
}
}
protected void OnResize()
{
if (_html != null && _rendered_width != (int)_size.x)
{
_rendered_width = (int)_size.x;
_html.media_changed();
_html.render(_rendered_width);
//set_size_request(_html.width, _html.height);
//Refresh();
}
}
public void open_page(string url)
{
_url = url;
_base_url = url;
load_text_file(url, out var html, out var newurl);
_url = newurl;
_base_url = newurl;
//_browser.set_url(_url);
_doc = document.createFromString(html, this, null, _context);
if (_doc != null)
{
_rendered_width = (int)_size.x;
_doc.render(_rendered_width);
}
Refresh();
}
public void open_page(string url)
{
_url = url;
_base_url = url;
load_text_file(url, out var html);
_url = _http.url;
_base_url = _http.url;
_browser.set_url(_url);
_html = document.createFromString(html, this, _html_context);
if (_html != null)
{
_rendered_width = Width;
_html.render(_rendered_width);
//set_size_request(_html.width, _html.height);
}
Refresh();
}
