public StyledSourceEditorOptions (MonoDevelop.Ide.Editor.ITextEditorOptions optionsCore)
		{
			if (optionsCore == null)
				throw new ArgumentNullException ("optionsCore");
			this.optionsCore = optionsCore;
			DefaultSourceEditorOptions.Instance.Changed += HandleChanged;
		}
Example #2
0
 public StyledSourceEditorOptions(MonoDevelop.Ide.Editor.ITextEditorOptions optionsCore)
 {
     if (optionsCore == null)
     {
         throw new ArgumentNullException("optionsCore");
     }
     this.optionsCore = optionsCore;
     DefaultSourceEditorOptions.Instance.Changed += HandleChanged;
 }