void ResourceIntercepter_ResourceStartedLoadingEvent(object sender, WebKitResourcesEventArgs e)
 {
     richTextBox1.Text = richTextBox1.Text + e.Resource.Url + " with the type " + e.Resource.MimeType + " has started loading." + "\r\n";
 }
 void ResourceIntercepter_ResourceFinishedLoadingEvent(object sender, WebKitResourcesEventArgs e)
 {
     richTextBox1.Text = richTextBox1.Text + e.Resource.Url + " has finished loading." + "\r\n";
 }