internal void AddCallback(OpenDocumentStateObserverIfc openDocumentStateObserver) { this.observers.Add(openDocumentStateObserver); }