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;
}
