private void GraphChanged(object sender, GraphChangedArgs e)
{
// added NS 06-12-2017
if (e.needDotReread)
{
this.dotGraph = null;
}
this.UpdateVerticesLayout();
}
private void GraphChanged(object sender, GraphChangedArgs e)
{
this.RaisePropertyChanged("PersonNames");
}
private void GraphChanged(object sender, GraphChangedArgs e)
{
this.RaisePropertyChanged("PersonNames");
}
private void GraphChanged(object sender, GraphChangedArgs e)
{
this.RaisePropertyChanged("nombreselementos");
}
private void GraphChanged(object sender, GraphChangedArgs e)
{
this.graphChangedCalled++;
}
private void GraphChanged(object sender, GraphChangedArgs e)
{
this.UpdateVerticesLayout();
}
private void GraphChanged(object sender, GraphChangedArgs e)
{
this.graphChangedCalled++;
}
private void GraphChanged(object sender, GraphChangedArgs e)
{
this.UpdateVerticesLayout();
}