protected override void OnInitialized(EventArgs e)
{
markerService = new TextMarkerService(editor.TextArea);
editor.TextArea.TextView.MouseMove += new MouseEventHandler(editor_TextArea_TextView_MouseMove);
editor.Document.Changed += delegate(object sender, DocumentChangeEventArgs e2) {
textDirty = true;
changes.Add(e2);
};
parser = new AXmlParser();
DispatcherTimer timer = new DispatcherTimer();
timer.Interval = TimeSpan.FromSeconds(0.5);
timer.Tick += delegate { Button_Click(null, null); };
timer.Start();
base.OnInitialized(e);
}
protected override void OnInitialized(EventArgs e)
{
markerService = new TextMarkerService(editor.TextArea);
editor.TextArea.TextView.MouseMove += new MouseEventHandler(editor_TextArea_TextView_MouseMove);
editor.Document.Changed += delegate(object sender, DocumentChangeEventArgs e2) {
textDirty = true;
changes.Add(e2);
};
parser = new AXmlParser();
DispatcherTimer timer = new DispatcherTimer();
timer.Interval = TimeSpan.FromSeconds(0.5);
timer.Tick += delegate { Button_Click(null, null); };
timer.Start();
base.OnInitialized(e);
}
public TextMarker(TextMarkerService service, int startOffset, int length)
{
if (service == null)
throw new ArgumentNullException("service");
this.service = service;
this.StartOffset = startOffset;
this.Length = length;
}
