Пример #1
0
 public TextDocumentLanguage()
     : this("Text")
 {
     if (Instance == null)
     {
         Instance = this;
     }
 }
Пример #2
0
 public TextLanguageOptionsPage(TextDocumentLanguage language, IServiceProvider serviceProvider)
     : base(serviceProvider)
 {
     this.InitializeComponent();
     this._language = language;
     TextOptions textOptions = language.GetTextOptions(serviceProvider);
     this._tabSizeTextBox.Text = textOptions.TabSize.ToString();
     this._convertTabsCheckBox.Checked = textOptions.ConvertTabsToSpaces;
     this._trimCheckBox.Checked = textOptions.TrimTrailingWhitespace;
     this._showWhitespaceCheckBox.Checked = textOptions.ShowWhitespace;
     this._showLineNumbersCheckBox.Checked = textOptions.ShowLineNumbers;
 }