diff options
author | Aaron Bockover <abock@microsoft.com> | 2019-06-20 20:49:24 +0300 |
---|---|---|
committer | Aaron Bockover <abock@microsoft.com> | 2019-06-20 20:49:24 +0300 |
commit | 0ac1032a5fa3b4dec98f834211d355633ff550a3 (patch) | |
tree | f4951ef4da806b8cd912ede7ca0a1b96e72519c1 /src/Editor/Text/Def | |
parent | 7a83a2dfa468b254b44658d76b85142ad4da6d2f (diff) |
Sync with vs-editor-core@8ff5248b
Diffstat (limited to 'src/Editor/Text/Def')
-rw-r--r-- | src/Editor/Text/Def/TextUI/EditorOptions/ViewOptions.cs | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/src/Editor/Text/Def/TextUI/EditorOptions/ViewOptions.cs b/src/Editor/Text/Def/TextUI/EditorOptions/ViewOptions.cs index 38457c4..3af982d 100644 --- a/src/Editor/Text/Def/TextUI/EditorOptions/ViewOptions.cs +++ b/src/Editor/Text/Def/TextUI/EditorOptions/ViewOptions.cs @@ -499,6 +499,12 @@ namespace Microsoft.VisualStudio.Text.Editor /// </summary> public static readonly EditorOptionKey<bool> ShouldMoveCaretOnSelectAllId = new EditorOptionKey<bool>(ShouldMoveCaretOnSelectAllName); public const string ShouldMoveCaretOnSelectAllName = "TextView/ShouldMoveCaretOnSelectAll"; + + /// <summary> + /// Defines where vertical rulers, if any, are to be drawn in the editor. + /// </summary> + public const string VerticalRulersName = "TextView/VerticalRulers"; + public static readonly EditorOptionKey<int[]> VerticalRulersId = new EditorOptionKey<int[]>(VerticalRulersName); #endregion } @@ -1374,4 +1380,15 @@ namespace Microsoft.VisualStudio.Text.Editor /// </summary> public override EditorOptionKey<bool> Key => DefaultTextViewOptions.ShouldMoveCaretOnSelectAllId; } -} + + /// <summary> + /// Determines whether to display the vertical ruler or not. + /// </summary> + [Export(typeof(EditorOptionDefinition))] + [Name(DefaultTextViewOptions.VerticalRulersName)] + internal sealed class VerticalRulersOption : EditorOptionDefinition<int[]> + { + public override int[] Default => Array.Empty<int>(); + public override EditorOptionKey<int[]> Key => DefaultTextViewOptions.VerticalRulersId; + } +}
\ No newline at end of file |