public static int[] GetHighlightedLines(DependencyObject element) { return (int[])element.GetValue(HighlightedLinesProperty); } }