Settings.cs 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. using System;
  2. using System.Windows.Controls;
  3. using System.Windows.Media;
  4. using System.Windows.Shapes;
  5. namespace DrawGraph
  6. {
  7. public class Settings
  8. {
  9. public static int VertexWidth = 10;
  10. public static int VertexHeight = 10;
  11. public static int StrokeThickness = 2;
  12. public static int FontSize = 16;
  13. public static Color FillColor = Color.FromRgb(0, 0, 0);
  14. public static void ClearCanvas(Edge[] edges, Vertex[] vertices)
  15. {
  16. if (edges != null && vertices != null)
  17. {
  18. Array.Clear(edges, 0, edges.Length);
  19. Array.Clear(vertices, 0, vertices.Length);
  20. }
  21. else
  22. {
  23. throw new NullReferenceException();
  24. }
  25. }
  26. public static void RemoveAllEdges(Canvas canvas, Line[] lines, Edge[] edges)
  27. {
  28. Array.Clear(edges, 0, edges.Length);
  29. for (int i = 0; i < lines.Length; i++)
  30. {
  31. canvas.Children.Remove(lines[i]);
  32. }
  33. }
  34. public static void RemoveLastAdded(Canvas canvas)
  35. {
  36. int removingElement = canvas.Children.Count-1;
  37. canvas.Children.RemoveAt(removingElement);
  38. }
  39. }
  40. }