DefaultTextViewHostOptions Class
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Names of common ITextView host-related options.
public ref class DefaultTextViewHostOptions abstract sealed
public ref class DefaultTextViewHostOptions abstract sealed
class DefaultTextViewHostOptions abstract sealed
public static class DefaultTextViewHostOptions
type DefaultTextViewHostOptions = class
Public Class DefaultTextViewHostOptions
- Inheritance
-
DefaultTextViewHostOptions
Remarks
A IWpfTextViewHost contains the IWpfTextView plus the margins and scrollbars surrounding the view.
Fields
ChangeTrackingId |
Determines whether to have the change tracking margin. |
ChangeTrackingMarginWidthOptionId |
Determines the width of the change tracking margin. |
ChangeTrackingMarginWidthOptionName |
Determines the width of the change tracking margin. |
ChangeTrackingName |
The name of the option that determines whether to have the change tracking margin. The change tracking margins "reset" (lose the change history) when this option is turned off. If it is turned back on, it will track changes from the time the margin is turned on. |
EditingStateMarginOptionId |
Determines whether the any editing state margins should be shown. |
EditingStateMarginOptionName | |
EnableFileHealthIndicatorOptionId |
Determines whether to have a file health indicator. |
EnableFileHealthIndicatorOptionName | |
EnableWheelScrollingId |
Option that defines whether mouse wheel scrolling is supported. |
EnableWheelScrollingName | |
ErrorMarginWidthOptionId |
The option that determines whether to have the change tracking margin. The change tracking margins "reset" (lose the change history) when this option is turned off. If it is turned back on, it will track changes from the time the margin is turned on. |
ErrorMarginWidthOptionName |
Determines the width of the error margin. |
GlyphMarginId |
Determines whether to have a glyph margin. |
GlyphMarginName |
The name of the option that determines whether to have a glyph margin. |
HorizontalScrollBarId |
Determines whether to have a horizontal scroll bar. |
HorizontalScrollBarName |
The name of the option that determines whether to have a horizontal scroll bar. |
IndentationCharacterMarginOptionId |
Determines whether the IndentationCharacterMargin should be shown. |
IndentationCharacterMarginOptionName | |
InsertModeMarginOptionId |
Determines whether the InsertModeMargin should be shown. |
InsertModeMarginOptionName | |
IsInContrastModeId |
Determines whether the editor is in either "Extra Contrast" or "High Contrast" modes. |
IsInContrastModeName | |
IsInHighContrastThemeId |
Determines whether the editor is in Windows High Contrast theme. This theme is the specific VS Windows High Contrast theme that is enabled by the user. This is different from the Blue theme with additional contrast and the Windows OS High Contrast mode. |
IsInHighContrastThemeName | |
LineEndingMarginOptionId |
Determines whether the LineEndingMargin should be shown. |
LineEndingMarginOptionName | |
LineNumberMarginId |
Determines whether to have a line number margin. |
LineNumberMarginName |
The name of the option that determines whether to have a line number margin. |
MarkMarginWidthOptionId |
Determines the width of the marks margin. |
MarkMarginWidthOptionName |
Determines the width of the marks margin. |
OutliningMarginId |
Determines whether to have an outlining margin. |
OutliningMarginName |
The name of the option that determines whether to have an outlining margin. |
PreviewSizeOptionId |
Determines the size (in lines of text) of the default tip. |
PreviewSizeOptionName |
Determines the size (in lines of text) of the default tip. |
RowColMarginOptionId |
Determines whether the RowColMargin should be shown. |
RowColMarginOptionName | |
SelectionMarginId |
Determines whether to have a selection margin. |
SelectionMarginName |
The name of the option that determines whether to have a selection margin. |
SelectionStateMarginOptionId |
Determines whether the SelectionStateMargin should be shown. |
SelectionStateMarginOptionName | |
ShowCaretPositionOptionId |
Determines whether the vertical margin shows the location of the caret. |
ShowCaretPositionOptionName |
Determines whether the vertical margin shows the location of the caret. |
ShowChangeTrackingMarginOptionId |
Determines whether changes are shown over the vertical scroll bar. |
ShowChangeTrackingMarginOptionName |
Determines whether changes are shown over the vertical scroll bar. |
ShowEnhancedScrollBarOptionId |
Determines whether the vertical scroll bar is shown as a standard WPF scroll bar or the new enhanced scroll bar. |
ShowEnhancedScrollBarOptionName |
Determines whether the vertical scroll bar is shown as a standard WPF scroll bar or the new enhanced scroll bar. |
ShowErrorsOptionId |
Determines whether errors are shown over the vertical scroll bar. |
ShowErrorsOptionName |
Determines whether errors are shown over the vertical scroll bar. |
ShowFileLevelCodeLensId |
The option to show file level CodeLens indicator. |
ShowFileLevelCodeLensName | |
ShowMarksOptionId |
Determines whether marks (bookmarks, breakpoints, etc.) are shown over the vertical scroll bar. |
ShowMarksOptionName |
Determines whether marks (bookmarks, breakpoints, etc.) are shown over the vertical scroll bar. |
ShowNavigationBarOptionId |
Determines whether or not Navigation Bar are to be shown. |
ShowNavigationBarOptionName | |
ShowPreviewOptionId |
Determines whether a preview tip is shown when the mouse moves over the vertical scroll bar. |
ShowPreviewOptionName |
Determines whether a preview tip is shown when the mouse moves over the vertical scroll bar. |
ShowScrollBarAnnotationsOptionId |
Determines whether any annotations are shown over the vertical scroll bar. |
ShowScrollBarAnnotationsOptionName |
Determines whether any annotations are shown over the vertical scroll bar. |
SourceImageMarginEnabledOptionId |
Determines whether the source image margin is displayed. This margin is only shown if this option is set together with the ShowEnhancedScrollBarOption, and the SourceImageMarginWidth is >= 25.0. |
SourceImageMarginEnabledOptionName |
Determines whether the source image margin is displayed. |
SourceImageMarginWidthOptionId |
Determines the width of the source image margin. |
SourceImageMarginWidthOptionName |
Determines the width of the source image margin. |
SuggestionMarginId |
Determines whether to have a suggestion margin. |
SuggestionMarginName | |
UpdateIndentationCharacterOnEditOptionId |
Determines whether we should infer tabs/spaces settings on every edit. This is typically true unless coding conventions set tabs settings. |
UpdateIndentationCharacterOnEditOptionName | |
VerticalScrollBarId |
Determines whether to have a vertical scroll bar. |
VerticalScrollBarName |
The name of the option that determines whether to have a vertical scroll bar. |
ZoomControlId |
Determines whether to have a zoom control. |
ZoomControlName |
The name of the option that destermines whether to have a zoom control. |