private void OnRefreshMouseUp(object sender, System.Windows.Input.MouseButtonEventArgs e) { RefreshMurmurs(); }