OutputWindowOptionsService(ITextViewOptionsGroupService textViewOptionsGroupService, IContentTypeRegistryService contentTypeRegistryService)
{
var group = textViewOptionsGroupService.GetGroup(PredefinedTextViewGroupNames.OutputWindow);
group.TextViewOptionChanged += TextViewOptionsGroup_TextViewOptionChanged;
Default = new OutputWindowOptions(group, contentTypeRegistryService.GetContentType(ContentTypes.Any));
}
public TabsAppSettingsPage(IOutputWindowOptions options) {
if (options == null)
throw new ArgumentNullException(nameof(options));
this.options = options;
TabSizeVM = new Int32VM(options.TabSize, a => { }, true) { Min = OptionsHelpers.MinimumTabSize, Max = OptionsHelpers.MaximumTabSize };
IndentSizeVM = new Int32VM(options.IndentSize, a => { }, true) { Min = OptionsHelpers.MinimumIndentSize, Max = OptionsHelpers.MaximumIndentSize };
ConvertTabsToSpaces = options.ConvertTabsToSpaces;
}
public ScrollBarsAppSettingsPage(IOutputWindowOptions options)
{
if (options == null)
{
throw new ArgumentNullException(nameof(options));
}
this.options = options;
HorizontalScrollBar = options.HorizontalScrollBar;
VerticalScrollBar = options.VerticalScrollBar;
}
public GeneralAppSettingsPage(IOutputWindowOptions options)
{
if (options == null)
{
throw new ArgumentNullException(nameof(options));
}
this.options = options;
UseVirtualSpace = options.UseVirtualSpace;
ShowLineNumbers = options.LineNumberMargin;
WordWrap = (options.WordWrapStyle & WordWrapStyles.WordWrap) != 0;
WordWrapVisualGlyphs = (options.WordWrapStyle & WordWrapStyles.VisibleGlyphs) != 0;
HighlightCurrentLine = options.EnableHighlightCurrentLine;
ShowTimestamps = options.ShowTimestamps;
}
public AdvancedAppSettingsPage(IOutputWindowOptions options)
{
if (options == null)
{
throw new ArgumentNullException(nameof(options));
}
this.options = options;
ReferenceHighlighting = options.ReferenceHighlighting;
HighlightRelatedKeywords = options.HighlightRelatedKeywords;
HighlightMatchingBrace = options.BraceMatching;
LineSeparators = options.LineSeparators;
ShowStructureLines = options.ShowStructureLines;
CompressEmptyOrWhitespaceLines = options.CompressEmptyOrWhitespaceLines;
CompressNonLetterLines = options.CompressNonLetterLines;
MinimumLineSpacing = options.RemoveExtraTextLineVerticalPixels;
SelectionMargin = options.SelectionMargin;
GlyphMargin = options.GlyphMargin;
MouseWheelZoom = options.EnableMouseWheelZoom;
ZoomControl = options.ZoomControl;
}
public TabsAppSettingsPage(IOutputWindowOptions options)
: base(options)
{
}
public AdvancedAppSettingsPage(IOutputWindowOptions options)
: base(options)
{
}
public GeneralAppSettingsPage(IOutputWindowOptions options)
: base(options) {
this.options = options;
ShowTimestamps = options.ShowTimestamps;
}
public ScrollBarsAppSettingsPage(IOutputWindowOptions options)
: base(options)
{
}
OutputWindowOptionsService(ITextViewOptionsGroupService textViewOptionsGroupService, IContentTypeRegistryService contentTypeRegistryService) {
var group = textViewOptionsGroupService.GetGroup(PredefinedTextViewGroupNames.OutputWindow);
group.TextViewOptionChanged += TextViewOptionsGroup_TextViewOptionChanged;
Default = new OutputWindowOptions(group, contentTypeRegistryService.GetContentType(ContentTypes.Any));
}
public GeneralAppSettingsPage(IOutputWindowOptions options)
: base(options)
{
this.options = options;
ShowTimestamps = options.ShowTimestamps;
}
public ScrollBarsAppSettingsPage(IOutputWindowOptions options)
: base(options) {
}
public AdvancedAppSettingsPage(IOutputWindowOptions options)
: base(options) {
}
public TabsAppSettingsPage(IOutputWindowOptions options)
: base(options) {
}