private static void HeaderChanged(IFunctionalTreeElement element, FunctionalPropertyChangedEventArgs e)
{
}
private static void InfoChangedHandler(IFunctionalTreeElement element, FunctionalPropertyChangedEventArgs e)
{
MainWindow.Reporter.WriteLine(string.Format("[Property] [PropertyChanged] Info Element: {0} OldValue: {1} NewValue: {2}", ((TestingElement)element).Name, e.OldValue, e.NewValue));
}
private static void DockManagerChangedHandler(IFunctionalTreeElement element, FunctionalPropertyChangedEventArgs e)
{
DockingBase dockingElement = element as DockingBase;
if (dockingElement != null && e.NewValue != e.OldValue)
dockingElement.OnDockManagerChanged(e.OldValue as DockManager, e.NewValue as DockManager);
}
