/// <summary>
/// Fills the currently displayed lists of styles from the parsetree provided
/// </summary>
/// <param name="t">The parse tree to extract the styles from</param>
public void UpdateStyleList()
{
if (ParseTree == null)
{
return;
}
string oldNodeStyle = NodeStyle, oldEdgeStyle = EdgeStyle;
TikzStyles.Clear();
foreach (string s in ParseTree.styles.Keys)
{
TikzStyles.Add(s);
}
NodeStyle = oldNodeStyle;
EdgeStyle = oldEdgeStyle;
}
