<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">The difference is you don't need to press the
[Ctrl] key to insert.</font><br>
</p>
<div class="moz-cite-prefix">Le 13/10/2022 à 06:26, Luciano
Notarfrancesco a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAL5GDyrmUrmphC5fEOHv5jgJ9Fmvwx9BasyDfBM5u0Rf7XhG0w@mail.gmail.com">
<div dir="auto">As Hilaire said, we already have that
functionality, see TextEditor>>#enclose:</div>
<div><br>
</div>
</blockquote>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
</body>
</html>