Exemplo n.º 1
0
 private void Button_CopyToOther(object sender, RoutedEventArgs e)
 {
     if (Toolbar1.IsAncestorOf((DependencyObject)e.Source))
     {
         Graph g = GraphEditor1.CurrentGraph();
         GraphEditor2.LoadGraph(g);
     }
     if (Toolbar2.IsAncestorOf((DependencyObject)e.Source))
     {
         Graph g = GraphEditor2.CurrentGraph();
         GraphEditor1.LoadGraph(g);
     }
 }
Exemplo n.º 2
0
 private void Button_LoadDot(object sender, RoutedEventArgs e)
 {
     if (Toolbar1.IsAncestorOf((DependencyObject)e.Source))
     {
         string content = new TextRange(TextEditor1.Document.ContentStart, TextEditor1.Document.ContentEnd).Text;
         GraphEditor1.LoadDotString(content);
     }
     if (Toolbar2.IsAncestorOf((DependencyObject)e.Source))
     {
         string content = new TextRange(TextEditor2.Document.ContentStart, TextEditor2.Document.ContentEnd).Text;
         GraphEditor2.LoadDotString(content);
     }
 }
Exemplo n.º 3
0
 private void Button_SerializeDot(object sender, RoutedEventArgs e)
 {
     if (Toolbar1.IsAncestorOf((DependencyObject)e.Source))
     {
         string dot = GraphEditor1.SerializeGraphAsDotString();
         TextEditor1.Document.Blocks.Clear();
         TextEditor1.Document.Blocks.Add(new Paragraph(new Run(dot)));
     }
     if (Toolbar2.IsAncestorOf((DependencyObject)e.Source))
     {
         string dot = GraphEditor2.SerializeGraphAsDotString();
         TextEditor2.Document.Blocks.Clear();
         TextEditor2.Document.Blocks.Add(new Paragraph(new Run(dot)));
     }
 }