/// <summary>
/// Tries to display a ring around the object at text position
/// offset.
/// </summary>
/// <param name="offset">The text position.</param>
public void MarkObjectAt(int offset)
{
OverlayShapeVM ols = DisplayTree.ObjectFromOffset(offset);
if (ols != null)
{
View.MarkObject(ols);
}
}
