public Workspace () { _documents = new List<Document>(); _activeDocument = null; _references = new References (); _serviceContainer = new ServiceContainer (); }
public Workspace() { _documents = new Dictionary<object, Document>(); _activeDocument = null; _references = new References (); _serviceContainer = new ServiceContainer (); }
public ActiveDocumentChangedEventArgs(Document newDocument, Document oldDocument) { _newDocument = newDocument; _oldDocument = oldDocument; }
protected virtual void OnActiveDocumentChanged(Document newDocument, Document oldDocument) { if (ActiveDocumentChanged != null) ActiveDocumentChanged (this, new ActiveDocumentChangedEventArgs (newDocument, oldDocument)); }
public void Dispose() { _activeDocument = null; _documents = null; _references.Dispose (); _references = null; _serviceContainer.Dispose (); _serviceContainer = null; }
public Document CreateDocument(string file, object identifierKey) { Document doc = new Document (file, this); _documents[identifierKey] = doc; return doc; }
public void CloseDocument(Document doc) { object key = null; foreach (KeyValuePair<object, Document> kvp in _documents) if (doc == kvp.Value) key = kvp.Key; if (key != null) CloseDocument (key); }
public void RemoveDocument (Document doc) { _documents.Remove (doc); }
public void AddDocument (Document doc) { _documents.Add (doc); }
public ActiveDocumentChangedEventArgs (Document newDocument, Document oldDocument) { if (newDocument == null) throw new ArgumentNullException ("newDocument"); _newDocument = newDocument; _oldDocument = oldDocument; }