Example #1
0
        public EditorInstance(ITextBuffer diskBuffer, IEditorDocumentFactory documentFactory) {
            if (diskBuffer == null)
                throw new ArgumentNullException(nameof(diskBuffer));

            if (documentFactory == null)
                throw new ArgumentNullException(nameof(documentFactory));

             ViewBuffer = diskBuffer;
            _document = documentFactory.CreateDocument(this);

            ServiceManager.AddService<IEditorInstance>(this, ViewBuffer);
        }
Example #2
0
        public EditorInstance(ITextBuffer diskBuffer, IEditorDocumentFactory documentFactory, ICoreShell coreShell)
        {
            if (diskBuffer == null)
            {
                throw new ArgumentNullException(nameof(diskBuffer));
            }
            if (documentFactory == null)
            {
                throw new ArgumentNullException(nameof(documentFactory));
            }

            ViewBuffer = DiskBuffer = diskBuffer;
            _document  = documentFactory.CreateDocument(this);

            ServiceManager.AddService <IEditorInstance>(this, ViewBuffer, coreShell);
        }
        public ProjectionEditorInstance(ITextBuffer diskBuffer, IEditorDocumentFactory documentFactory, ICoreShell coreShell) {
            if (diskBuffer == null) {
                throw new ArgumentNullException(nameof(diskBuffer));
            }
            if (documentFactory == null) {
                throw new ArgumentNullException(nameof(documentFactory));
            }

            DiskBuffer = diskBuffer;
            _document = documentFactory.CreateDocument(this);
 
            var projectionBufferManager = ProjectionBufferManager.FromTextBuffer(diskBuffer);
            ViewBuffer = projectionBufferManager.ViewBuffer;

            ServiceManager.AddService<IEditorInstance>(this, DiskBuffer, coreShell);
        }
Example #4
0
        public ProjectionEditorInstance(ITextBuffer diskBuffer, IEditorDocumentFactory documentFactory)
        {
            if (diskBuffer == null)
            {
                throw new ArgumentNullException(nameof(diskBuffer));
            }
            if (documentFactory == null)
            {
                throw new ArgumentNullException(nameof(documentFactory));
            }

            DiskBuffer = diskBuffer;
            _document  = documentFactory.CreateDocument(this);

            var projectionBufferManager = ProjectionBufferManager.FromTextBuffer(diskBuffer);

            ViewBuffer = projectionBufferManager.ViewBuffer;

            ServiceManager.AddService <IEditorInstance>(this, DiskBuffer);
        }