public void PostNotification(string notificationName, Notification notification) { if (notification == null) { throw new ArgumentNullException("notification"); } if (_Notifications.ContainsKey(notificationName)) { _Notifications[notificationName].ForEach(notificationDelegate => { notificationDelegate(notification); }); } }
private void ShowUpdateNotificationPreferenceChanged(Notification notification) { NotificationCenter.Instance.PostNotification("vagrant-manager.notification-preference-changed", new Notification(null)); }
/*void Application_ApplicationExit(object sender, EventArgs e) { SharpSparkle.SharpSparkle.Cleanup(); }*/ #region Notification handlers private void TaskCompleted(Notification notification) { this.RefreshVagrantMachines(); }
private void IncludeMachineNamesInMenuPreferenceChanged(Notification notification) { _NativeMenu.RebuildMenu(); }
private void UsePathAsInstanceDisplayNamePreferenceChanged(Notification notification) { _NativeMenu.RebuildMenu(); }
private void ShowRunningVmCountPreferenceChanged(Notification notification) { this.UpdateRunningCount(); }
private void ThemeChanged(Notification notification) { this.UpdateRunningCount(); }
private void BookmarksUpdated(Notification notification) { this.RefreshVagrantMachines(); }