From f8d1487f8df38047c2f97e89f31a28cebd56b132 Mon Sep 17 00:00:00 2001
From: Guillermo Bueno Vargas <guillergood@gmail.com>
Date: Wed, 1 Nov 2023 18:45:59 +0100
Subject: [PATCH] Format

---
 lib/src/widgets/text_selection.dart | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/src/widgets/text_selection.dart b/lib/src/widgets/text_selection.dart
index 986c6f24..a4285308 100644
--- a/lib/src/widgets/text_selection.dart
+++ b/lib/src/widgets/text_selection.dart
@@ -793,7 +793,6 @@ class _EditorTextSelectionGestureDetectorState
     }
     if (_doubleTapTimer != null &&
         _isWithinDoubleTapTolerance(details.globalPosition)) {
-
       widget.onSecondaryDoubleTapDown?.call(details);
 
       _doubleTapTimer!.cancel();