private void UpdateClusterBoxInternal(int ping, ClusterInfo info) { try { if (info == null) clusterInfoGrid.SelectedObject = new object(); else if (!info.Equals(clusterInfoGrid.SelectedObject)) clusterInfoGrid.SelectedObject = info; } catch(NullReferenceException) { // komische PropertyGrid Exception ignorieren } clusterBox.Text = ClusterControl.FormatClusterText(CurrentCluster); ClusterControl.SetClusterBoxColor(clusterBox, ping, info); }