From 51a41ec90af505b153cc7a016de3c1e8a18dc427 Mon Sep 17 00:00:00 2001
From: Jules Aguillon
Date: Sat, 30 Dec 2023 00:56:55 +0100
Subject: Voice IME chooser popup

Bring a popup for choosing the voice IME when the voice key is pressed
for the first time or the list of voice IMEs installed on the device
change.

A preference stores the last selected IME and the last seen list of
IMEs.
---
 srcs/juloo.keyboard2/Config.java | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'srcs/juloo.keyboard2/Config.java')

diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java
index 31fe0b0..f8b2070 100644
--- a/srcs/juloo.keyboard2/Config.java
+++ b/srcs/juloo.keyboard2/Config.java
@@ -389,6 +389,11 @@ final class Config
     return _globalConfig;
   }
 
+  public static SharedPreferences globalPrefs()
+  {
+    return _globalConfig._prefs;
+  }
+
   public static interface IKeyEventHandler
   {
     public void key_down(KeyValue value, boolean is_swipe);
-- 
cgit v1.2.3