/// <summary>
/// Changes a node's label and updates the display
/// </summary>
/// <param name="n">The node whose label has to be changed</param>
/// <param name="newLabel">The new label</param>
internal void RelabelNode(DrawingNode n, string newLabel)
{
n.Label.Text = newLabel;
gViewer.ResizeNodeToLabel(n);
}
