void dockingManager_PropertyChanged(object sender, System.ComponentModel.PropertyChangedEventArgs e) { if (e.PropertyName == "ActiveContent") { WpfWorkbench.FocusDebug("AvalonDock: ActiveContent changed to {0}", WpfWorkbench.GetElementName(dockingManager.ActiveContent)); if (ActiveContentChanged != null) { ActiveContentChanged(this, e); } CommandManager.InvalidateRequerySuggested(); } else if (e.PropertyName == "ActiveDocument") { WpfWorkbench.FocusDebug("AvalonDock: ActiveDocument changed to {0}", WpfWorkbench.GetElementName(dockingManager.ActiveDocument)); if (ActiveWorkbenchWindowChanged != null) { ActiveWorkbenchWindowChanged(this, e); } CommandManager.InvalidateRequerySuggested(); } }
internal void WriteState(TextWriter output) { output.WriteLine("AvalonDock: ActiveContent = " + WpfWorkbench.GetElementName(dockingManager.ActiveContent)); output.WriteLine("AvalonDock: ActiveDocument = " + WpfWorkbench.GetElementName(dockingManager.ActiveDocument)); }