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