/// <summary>
/// Draw a Rectangle
/// </summary>
/// <param name="transition"></param>
/// <autor>Thomas Meents, Krystian Zielonka</autor>
private ExtendedThumb DrawTransition(Transition transition)
{
String name = transition.Name.Trim();
ExtendedThumb transitionThumb = new ExtendedThumb
{
Name = "Transition",
Width = Settings.Default.TransitionWidth,
Height = Settings.Default.TransitionHeight
};
transitionThumb.Margin = new Thickness(-transitionThumb.Width / 2, -transitionThumb.Height / 2, 0, 0);
transitionThumb.Template = GetTransitionTemplate();
transitionThumb.ToolTip = name;
transitionThumb.SetValue(ContentControl.ContentProperty, name);
ContextMenu contextMenu = new ContextMenu();
Label labelText = new Label {
Content = name
};
contextMenu.Items.Add(labelText);
transitionThumb.ContextMenu = contextMenu;
return(transitionThumb);
}
/// <summary>
/// Draw a Ellipse
/// </summary>
/// <param Name="myCanvas"></param>
/// <param name="place"></param>
/// <autor>Thomas Meents, Krystian Zielonka</autor>
private ExtendedThumb DrawPlace(Place place)
{
String name = place.Name.Trim();
ExtendedThumb placeThumb = new ExtendedThumb
{
Name = "Place",
Width = Settings.Default.PlaceRadius,
Height = Settings.Default.PlaceRadius
};
placeThumb.Margin = new Thickness(-placeThumb.Width / 2);
placeThumb.Template = GetPlaceTemplate();
placeThumb.SetValue(ContentControl.ContentProperty, name);
placeThumb.InternName = place.ToString();
return(placeThumb);
}
