public WebBrowserControl() { this.InitializeComponent(); _renderTimeout = new Configuration().RENDER_TIME_OUT; _timer = this.CreateTimer(); _eventCaptureSurfaceStyle = new HighlightStyleFactory().CreateEventCaptureSurfaceStyle(); _eventCaptureSurface = null; _selectionBox = null; _wpfControl.LoadCompleted += WpfControl_LoadCompleted; }
public WpfHighlight(HighlightStyle style, Rectangle boundingBox) { var backgroundBrush = new SolidColorBrush(style.BackgroundColor); backgroundBrush.Opacity = style.BackgroundOpacity; this.Background = backgroundBrush; this.BorderBrush = new SolidColorBrush(style.BorderColor); this.BorderThickness = new Thickness(style.BorderWidth); this.SetBoundingBox(boundingBox); }
public HighlightSpec(HighlightStyle style, Rectangle boundingBox) { this.Style = style; this.BoundingBox = boundingBox; }
public BrowserControl() { _selectionBoxStyle = new HighlightStyleFactory().CreateSelectionBoxStyle(); _mouseDownPoint = null; }