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(); }