Gboard : le clavier Google ajoute un petit changement qui fait une énorme différence

Google vient d'ajouter à Gboard un raccourci qui pourrait faire gagner un temps fou à tous les utilisateurs du clavier, aussi bien sur Android que sur iOS.