Example #1
0
 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;
 }
Example #3
0
 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;
 }
Example #4
0
 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));
        }
Example #6
0
 public ScrollBarsAppSettingsPage(IDocumentViewerOptions options)
     : base(options)
 {
 }
Example #7
0
 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) {
		}
Example #11
0
 public AdvancedAppSettingsPage(IDocumentViewerOptions options)
     : base(options)
 {
 }
Example #12
0
 public TabsAppSettingsPage(IDocumentViewerOptions options)
     : base(options)
 {
 }
Example #13
0
		public TabsAppSettingsPage(IDocumentViewerOptions options)
			: base(options) {
		}
		public ScrollBarsAppSettingsPage(IDocumentViewerOptions options)
			: base(options) {
		}