private void StrokeColorSelector_ValueChanged(object sender, RoutedEventArgs e)
 {
     foreach (hyperarc a in hyperarcs)
     {
         ((HyperArcShape)a.DisplayShape.Shape).Stroke = StrokeColorSelector.Value;
         gui.HyperArcPropertyChanged(a);
     }
 }