internal DocumentWorkspace(Document document) { this.document = document; History = new DocumentWorkspaceHistory (document); }
internal DocumentWorkspace(Document document) { this.document = document; History = new DocumentWorkspaceHistory(document); }