public ScrollBarsAppSettingsPage(IDocumentViewerOptions options)
{
if (options == null)
{
throw new ArgumentNullException(nameof(options));
}
this.options = options;
HorizontalScrollBar = options.HorizontalScrollBar;
VerticalScrollBar = options.VerticalScrollBar;
}
public GeneralAppSettingsPage(IDocumentViewerOptions 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;
}
public TabsAppSettingsPage(IDocumentViewerOptions 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 AdvancedAppSettingsPage(IDocumentViewerOptions 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;
}
DocumentViewerOptionsService(ITextViewOptionsGroupService textViewOptionsGroupService, IContentTypeRegistryService contentTypeRegistryService)
{
var group = textViewOptionsGroupService.GetGroup(PredefinedTextViewGroupNames.DocumentViewer);
Default = new DocumentViewerOptions(group, contentTypeRegistryService.GetContentType(ContentTypes.Any));
}
public ScrollBarsAppSettingsPage(IDocumentViewerOptions options)
: base(options)
{
}
public GeneralAppSettingsPage(IDocumentViewerOptions options)
: base(options)
{
}
public AdvancedAppSettingsPage(IDocumentViewerOptions options)
: base(options) {
}
DocumentViewerOptionsService(ITextViewOptionsGroupService textViewOptionsGroupService, IContentTypeRegistryService contentTypeRegistryService) {
var group = textViewOptionsGroupService.GetGroup(PredefinedTextViewGroupNames.DocumentViewer);
Default = new DocumentViewerOptions(group, contentTypeRegistryService.GetContentType(ContentTypes.Any));
}
public GeneralAppSettingsPage(IDocumentViewerOptions options)
: base(options) {
}
public AdvancedAppSettingsPage(IDocumentViewerOptions options)
: base(options)
{
}
public TabsAppSettingsPage(IDocumentViewerOptions options)
: base(options)
{
}
public TabsAppSettingsPage(IDocumentViewerOptions options)
: base(options) {
}
public ScrollBarsAppSettingsPage(IDocumentViewerOptions options)
: base(options) {
}