v1.3.0
Collage différé : on parle, on corrige, puis on colle.
C’est l’un des pires casse-têtes des utilisateurs de terminal : le texte reconnu contient une erreur, mais corriger du texte dans un terminal est pénible — le curseur est difficile à placer, la touche d’effacement fait vite des dégâts et la méthode de saisie s’emballe facilement. Le collage différé est là pour résoudre exactement ce problème. Quand vous relâchez le raccourci après avoir parlé, le résultat n’est plus collé immédiatement : une fenêtre d’édition s’ouvre d’abord, où vous le corrigez comme dans n’importe quel champ de texte, avant de le coller d’un geste au curseur une fois vérifié.
La fenêtre d’édition offre trois options : appuyer sur Entrée pour coller aussitôt ; corriger à la main puis cliquer sur « Coller » ; ou appuyer sur ESC pour annuler cette saisie. Si un terme technique est mal reconnu, cliquez sur son bloc pour l’ajouter à votre vocabulaire personnel : il ne sera plus mal reconnu la fois suivante — et plus votre vocabulaire s’enrichit, plus l’usage devient fluide. Le collage différé est désactivé par défaut ; activez-le ou désactivez-le à tout moment dans Réglages → Général.
L’import et l’export de configuration passent à un format encodé en Base64, plus pratique à copier-coller d’un appareil à l’autre, tout en restant compatibles avec les fichiers JSON bruts exportés par les anciennes versions. Après un déclassement puis une réactivation, les utilisateurs Pro retrouvent automatiquement le moteur de reconnaissance vocale et le thème de la fenêtre flottante qu’ils avaient avant le déclassement, sans avoir à les resélectionner.