public void InitWebKit(Gtk.Box w)
{
wb = new WebKit.WebView();
scrollWindow.Add(wb);
// Hack to work around webkit bug; webkit will crash the app if a size is not provided
// See https://bugs.eclipse.org/bugs/show_bug.cgi?id=466360 for a related bug report
wb.SetSizeRequest(2, 2);
w.PackStart(scrollWindow, true, true, 0);
w.ShowAll();
}
public void InitWebKit(Gtk.Box w)
{
wb = new WebKit.WebView();
scrollWindow.Add(wb);
// Hack to work around webkit bug; webkit will crash the app if a size is not provided
// See https://bugs.eclipse.org/bugs/show_bug.cgi?id=466360 for a related bug report
wb.SetSizeRequest(2, 2);
w.PackStart(scrollWindow, true, true, 0);
w.ShowAll();
}
