private void EnsurePreviewManager() { if (pManager == null) { pManager = new PreviewersManager(); } }
void WPFPreviewControl_Unloaded(object sender, RoutedEventArgs e) { if (pManager != null) { pManager.Dispose(); pManager = null; } }
private void EnsurePreviewManager() { if (pManager == null) pManager = new PreviewersManager(); }