public PagePropertyChangedEventArgs(WebElement selectedElement)
{
this.SelectedElement = selectedElement;
}
private void document_MouseOver(object sender, HtmlElementEventArgs e)
{
if (!e.CtrlKeyPressed) return;
var element = e.ToElement;
if (element == null || this.elementStyles.ContainsKey(element)) return;
var style = element.Style;
this.elementStyles.Add(element, style);
element.Style = string.Format("{0}; {1}", style, GetSelectionStyle());
this.selectedElement = element.AsWebElement();
this.OnPagePropertyChanged(new PagePropertyChangedEventArgs(this.selectedElement));
}