HoverMarker GetMarker(FindResult fr) //(int line)
{
int line = Convert.ToInt32(fr.Key);
int offset1 = Convert.ToInt32(fr.StartOffset);
int offset2 = Convert.ToInt32(fr.EndOffset);
HoverMarker result;
//if (!markers.TryGetValue (line, out result)) {
//
LineSegment ls = this.Document.GetLine(line - 1);
//ls = this.Document.GetLine(line-1);
//ls = new LineSegment(offset1,offset2);
result = new HoverMarker(ls, offset1, offset2);
result.AddToLine(this.Document);
//result = new HoverMarker ();
//this.Document.AddMarker (line, result);
markers.Add(result); //line
this.Document.CommitLineUpdate(line);
//}
return(result);
//return new UsageMarker();
}
//(int line)
HoverMarker GetMarker(FindResult fr)
{
int line = Convert.ToInt32(fr.Key);
int offset1 = Convert.ToInt32(fr.StartOffset);
int offset2 = Convert.ToInt32(fr.EndOffset);
HoverMarker result;
//if (!markers.TryGetValue (line, out result)) {
//
LineSegment ls = this.Document.GetLine(line-1);
//ls = this.Document.GetLine(line-1);
//ls = new LineSegment(offset1,offset2);
result = new HoverMarker(ls,offset1,offset2);
result.AddToLine(this.Document);
//result = new HoverMarker ();
//this.Document.AddMarker (line, result);
markers.Add (result);//line
this.Document.CommitLineUpdate (line);
//}
return result;
//return new UsageMarker();
}
