public TextDocumentLanguage() : this("Text") { if (Instance == null) { Instance = this; } }
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; }