public TextEditorViewContent (TextEditor textEditor, ITextEditorImpl textEditorImpl)
		{
			if (textEditor == null)
				throw new ArgumentNullException (nameof (textEditor));
			if (textEditorImpl == null)
				throw new ArgumentNullException (nameof (textEditorImpl));
			this.textEditor = textEditor;
			this.textEditorImpl = textEditorImpl;
			this.textEditor.MimeTypeChanged += UpdateTextEditorOptions;
			DefaultSourceEditorOptions.Instance.Changed += UpdateTextEditorOptions;
			this.textEditor.DocumentContextChanged += HandleDocumentContextChanged;
		}
		public TextEditorViewContent (TextEditor textEditor, ITextEditorImpl textEditorImpl)
		{
			if (textEditor == null)
				throw new ArgumentNullException (nameof (textEditor));
			if (textEditorImpl == null)
				throw new ArgumentNullException (nameof (textEditorImpl));
			this.textEditor = textEditor;
			this.textEditorImpl = textEditorImpl;
			this.textEditor.MimeTypeChanged += UpdateTextEditorOptions;
			DefaultSourceEditorOptions.Instance.Changed += UpdateTextEditorOptions;
			textEditorImpl.ViewContent.ContentNameChanged += ViewContent_ContentNameChanged;
			textEditorImpl.ViewContent.DirtyChanged += ViewContent_DirtyChanged; ;

		}
Exemple #3
0
 public TextEditorViewContent(TextEditor textEditor, ITextEditorImpl textEditorImpl)
 {
     if (textEditor == null)
     {
         throw new ArgumentNullException("textEditor");
     }
     if (textEditorImpl == null)
     {
         throw new ArgumentNullException("textEditorImpl");
     }
     this.textEditor                              = textEditor;
     this.textEditorImpl                          = textEditorImpl;
     this.textEditor.MimeTypeChanged             += UpdateTextEditorOptions;
     DefaultSourceEditorOptions.Instance.Changed += UpdateTextEditorOptions;
     this.textEditor.DocumentContextChanged      += HandleDocumentContextChanged;
 }
 public TextEditorViewContent(TextEditor textEditor, ITextEditorImpl textEditorImpl)
 {
     if (textEditor == null)
     {
         throw new ArgumentNullException(nameof(textEditor));
     }
     if (textEditorImpl == null)
     {
         throw new ArgumentNullException(nameof(textEditorImpl));
     }
     this.textEditor                                = textEditor;
     this.textEditorImpl                            = textEditorImpl;
     this.textEditor.MimeTypeChanged               += UpdateTextEditorOptions;
     DefaultSourceEditorOptions.Instance.Changed   += UpdateTextEditorOptions;
     textEditorImpl.ViewContent.ContentNameChanged += ViewContent_ContentNameChanged;
     textEditorImpl.ViewContent.DirtyChanged       += ViewContent_DirtyChanged;;
 }