J'ai commenté dans ce sens tout à l'heure dans l'issue : un bouton pour chercher et insérer des caractères spéciaux est plus ergonomique.
La proposition précédente est en effet moins pire parce-que ça évite d'être perturbé quand on fait un retour à la ligne ou un espace après les deux points (ce qui correspond déjà à la majorité des cas où on est importuné), et sinon fait une proposition plus réduite.
"It is seldom that liberty of any kind is lost all at once." ― David Hume
[^] # Re: Attendre un caractère après les deux points
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal Voter pour virer les emojis de Gitlab. Évalué à 4.
J'ai commenté dans ce sens tout à l'heure dans l'issue : un bouton pour chercher et insérer des caractères spéciaux est plus ergonomique.
La proposition précédente est en effet moins pire parce-que ça évite d'être perturbé quand on fait un retour à la ligne ou un espace après les deux points (ce qui correspond déjà à la majorité des cas où on est importuné), et sinon fait une proposition plus réduite.
"It is seldom that liberty of any kind is lost all at once." ― David Hume