// Copyright (c) 2014 AlphaSierraPapa for the SharpDevelop Team // // Permission is hereby granted, free of charge, to any person obtaining a copy of this // software and associated documentation files (the "Software"), to deal in the Software // without restriction, including without limitation the rights to use, copy, modify, merge, // publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons // to whom the Software is furnished to do so, subject to the following conditions: // // The above copyright notice and this permission notice shall be included in all copies or // substantial portions of the Software. // // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, // INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR // PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE // FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR // OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER // DEALINGS IN THE SOFTWARE. using System; using System.Windows; using System.Windows.Data; using System.Windows.Media; using System.Windows.Shapes; namespace ICSharpCode.AvalonEdit.Editing { /// /// Margin for use with the text area. /// A vertical dotted line to separate the line numbers from the text view. /// public static class DottedLineMargin { static readonly object tag = new object(); /// /// Creates a vertical dotted line to separate the line numbers from the text view. /// public static UIElement Create() { Line line = new Line { X1 = 0, Y1 = 0, X2 = 0, Y2 = 1, StrokeDashArray = { 0, 2 }, Stretch = Stretch.Fill, StrokeThickness = 1, StrokeDashCap = PenLineCap.Round, Margin = new Thickness(2, 0, 2, 0), Tag = tag }; return line; } /// /// Creates a vertical dotted line to separate the line numbers from the text view. /// [Obsolete("This method got published accidentally; and will be removed again in a future version. Use the parameterless overload instead.")] public static UIElement Create(TextEditor editor) { Line line = (Line)Create(); line.SetBinding( Line.StrokeProperty, new Binding("LineNumbersForeground") { Source = editor } ); return line; } /// /// Gets whether the specified UIElement is the result of a DottedLineMargin.Create call. /// public static bool IsDottedLineMargin(UIElement element) { Line l = element as Line; return l != null && l.Tag == tag; } } }