protected void OnResize() { if (_doc != null && _rendered_width != (int)_size.x) { _rendered_width = (int)_size.x; _doc.media_changed(); _doc.render(_rendered_width); Refresh(); } }
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(); } }