From 87049520e34cd582728983ff4b239d55211bb801 Mon Sep 17 00:00:00 2001
From: Nick Rimmer <NickRimmer@users.noreply.github.com>
Date: Thu, 7 Mar 2024 11:10:40 +0100
Subject: [PATCH] LineNumbersMargin property added to TextEditor

---
 src/AvaloniaEdit.Demo/MainWindow.xaml |  1 +
 src/AvaloniaEdit/TextEditor.cs        | 19 +++++++++++++++++++
 2 files changed, 20 insertions(+)

diff --git a/src/AvaloniaEdit.Demo/MainWindow.xaml b/src/AvaloniaEdit.Demo/MainWindow.xaml
index bdf9e311..81950c76 100644
--- a/src/AvaloniaEdit.Demo/MainWindow.xaml
+++ b/src/AvaloniaEdit.Demo/MainWindow.xaml
@@ -34,6 +34,7 @@
                                HorizontalScrollBarVisibility="Auto"
                                VerticalScrollBarVisibility="Visible"
                                FontWeight="Light"
+                               LineNumbersMargin="10,0,20,0"
                                FontSize="14" />
     </DockPanel>
 </Window>
\ No newline at end of file
diff --git a/src/AvaloniaEdit/TextEditor.cs b/src/AvaloniaEdit/TextEditor.cs
index 5d12a549..d350e12c 100644
--- a/src/AvaloniaEdit/TextEditor.cs
+++ b/src/AvaloniaEdit/TextEditor.cs
@@ -541,7 +541,9 @@ private static void OnShowLineNumbersChanged(AvaloniaPropertyChangedEventArgs e)
                 leftMargins.Insert(0, lineNumbers);
                 leftMargins.Insert(1, line);
                 var lineNumbersForeground = editor.GetBindingObservable(LineNumbersForegroundProperty);
+                var lineNumbersMargin = editor.GetBindingObservable(LineNumbersMarginProperty);
                 line.Bind(Shape.StrokeProperty, lineNumbersForeground);
+                line.Bind(MarginProperty, lineNumbersMargin);
                 lineNumbers.Bind(ForegroundProperty, lineNumbersForeground);
             }
             else
@@ -608,6 +610,23 @@ private static void SearchResultsBrushChangedCallback(AvaloniaPropertyChangedEve
         }
 
         #endregion
+        
+        #region LineNumbersMargin
+        /// <summary>
+        /// LineNumbersMargin dependency property.
+        /// </summary>
+        public static readonly StyledProperty<Thickness> LineNumbersMarginProperty =
+            AvaloniaProperty.Register<TextEditor, Thickness>("LineNumbersMargin", new Thickness(2, 0, 2, 0));
+
+        /// <summary>
+        /// Gets or sets the margin that is used to display the vertical line to the right of the line numbers.
+        /// </summary>
+        public Thickness LineNumbersMargin
+        {
+            get => GetValue(LineNumbersMarginProperty);
+            set => SetValue(LineNumbersMarginProperty, value);
+        }
+        #endregion
 
         #region TextBoxBase-like methods
         /// <summary>