From f287ff2e095a4087208241a4f0226a81498afcdb Mon Sep 17 00:00:00 2001
From: Jules Aguillon <juloo.dsi@gmail.com>
Date: Sat, 1 May 2021 22:47:22 +0200
Subject: [PATCH] Reset keyboard when finishing

This may cause key repeat continuing for a bit after the keyboard
closes.
---
 srcs/juloo.keyboard2/Keyboard2.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/srcs/juloo.keyboard2/Keyboard2.java b/srcs/juloo.keyboard2/Keyboard2.java
index 7310053..2fb8957 100644
--- a/srcs/juloo.keyboard2/Keyboard2.java
+++ b/srcs/juloo.keyboard2/Keyboard2.java
@@ -111,6 +111,13 @@ public class Keyboard2 extends InputMethodService
     refreshSubtype(subtype);
   }
 
+  @Override
+  public void onFinishInputView(boolean finishingInput)
+  {
+    super.onFinishInputView(finishingInput);
+    _keyboardView.reset();
+  }
+
 	@Override
 	public void				onSharedPreferenceChanged(SharedPreferences sharedPreferences, String key)
 	{