improve gesture ui and matching

apps/weblibre/lib/features/gestures/domain/repositories/gesture_settings.dart

@@ -62,6 +62,10 @@ class GestureSettingsRepository extends _$GestureSettingsRepository {
         DriftSqlType.int,
         db.typeMapping,
       ),
+      'minStrokeIntervalMs': settings['minStrokeIntervalMs']?.readAs(
+        DriftSqlType.int,
+        db.typeMapping,
+      ),
       'showFeedback': settings['showFeedback']?.readAs(
         DriftSqlType.bool,
         db.typeMapping,

apps/weblibre/lib/features/gestures/domain/services/gesture_control.dart

@@ -332,6 +332,7 @@ GestureConfig gestureNativeConfig(Ref ref) {
     strokeSize: settings.strokeSize,
     timeoutMs: settings.timeoutMs,
     maxFingers: requiredFingers,
+    minStrokeIntervalMs: settings.minStrokeIntervalMs,
     activeGestureKeys: settings.bindings.keys.toList(),
   );
 }

apps/weblibre/lib/features/gestures/domain/services/gesture_control.g.dart

@@ -193,7 +193,7 @@ final class GestureNativeConfigProvider
 }
 
 String _$gestureNativeConfigHash() =>
-    r'57aada8631dfc3d8355f9498f6b7c6954b0cdcf1';
+    r'd7caf199a60089109cbf264ca3c4d59ccf97044e';
 
 /// The in-progress stroke shown by the live feedback overlay.
 ///