private void ExecuteScrollToLine(object sender, ExecutedRoutedEventArgs e) { if (e.Parameter != null) { Editor.ScrollToLine((int)e.Parameter); } }
private void ExecuteScrollToLine(object sender, ExecutedRoutedEventArgs e) { if (e.Parameter != null) { Editor.ScrollToLine((int)e.Parameter); } }