| private static OnWindowTokenPropertyChange ( object sender, System.Windows.DependencyPropertyChangedEventArgs args ) : void | ||
| sender | object | |
| args | System.Windows.DependencyPropertyChangedEventArgs | |
| return | void | |
private static void OnWindowTokenPropertyChange(object sender, DependencyPropertyChangedEventArgs args)
{
Window window = sender as Window;
if (window != null) {
string windowToken = (string)args.NewValue;
if (!String.IsNullOrEmpty(windowToken)) {
Size size = WindowSettingsManager.Value.GetWindowSize(windowToken);
if (!size.IsEmpty) {
SetWindowSize(window, size);
}
}
window.Closed += OnWindowClosed;
}
}
