From 6405e5e8be126f8665e64b6e17b84956d253d450 Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Sat, 22 Jun 2024 23:10:43 +0200
Subject: [PATCH] Don't stop keyrepeat after a circle gesture

This was inconsistent with the anticircle and roundtrip gestures.
---
 srcs/juloo.keyboard2/Pointers.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/srcs/juloo.keyboard2/Pointers.java b/srcs/juloo.keyboard2/Pointers.java
index 01d95bd..55ca9c5 100644
--- a/srcs/juloo.keyboard2/Pointers.java
+++ b/srcs/juloo.keyboard2/Pointers.java
@@ -308,7 +308,6 @@ public final class Pointers implements Handler.Callback
       { // Gesture changed state
         if (!ptr.gesture.is_in_progress())
         { // Gesture ended
-          stopKeyRepeat(ptr);
           _handler.onPointerFlagsChanged(true);
         }
         else