From 039a9973095f9797e6b9348821d55011f55de7a6 Mon Sep 17 00:00:00 2001
From: Simon Bengtsson <simonbengt@gmail.com>
Date: Mon, 1 May 2023 10:11:05 +0200
Subject: [PATCH] Allow textPadding customization

---
 lib/src/render/style/editor_style.dart | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/src/render/style/editor_style.dart b/lib/src/render/style/editor_style.dart
index b35102c36..a87e1947a 100644
--- a/lib/src/render/style/editor_style.dart
+++ b/lib/src/render/style/editor_style.dart
@@ -101,6 +101,7 @@ class EditorStyle extends ThemeExtension<EditorStyle> {
     double? lineHeight,
     Color? popupMenuFGColor,
     Color? popupMenuHoverColor,
+    EdgeInsets? textPadding,
   }) {
     return EditorStyle(
       padding: padding ?? this.padding,
@@ -121,7 +122,7 @@ class EditorStyle extends ThemeExtension<EditorStyle> {
           selectionMenuItemSelectedColor ?? this.selectionMenuItemSelectedColor,
       toolbarColor: toolbarColor ?? this.toolbarColor,
       toolbarElevation: toolbarElevation ?? this.toolbarElevation,
-      textPadding: textPadding ?? textPadding,
+      textPadding: textPadding ?? this.textPadding,
       textStyle: textStyle ?? this.textStyle,
       placeholderTextStyle: placeholderTextStyle ?? this.placeholderTextStyle,
       bold: bold ?? this.bold,