static void OnOptionsChanged(DependencyObject dp, DependencyPropertyChangedEventArgs e) { ((TextEditor)dp).OnOptionsChanged((TextEditorOptions)e.OldValue, (TextEditorOptions)e.NewValue); }