internal void InformFoldTreeUpdated () { var handler = FoldTreeUpdated; if (handler != null) handler (this, EventArgs.Empty); } public event EventHandler FoldTreeUpdated;