public void SetCurrentOptions(TreeOptions o) { m_syntax.m_options = o; }
public SyntaxTree() { m_options = new TreeOptions(); m_root = new Node(this); m_changed = true; }