private static void DockChanged(DependencyObject d, DependencyPropertyChangedEventArgs e) { ((DockPanelSplitter)d).UpdateHeightOrWidth(); }