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();
}
