<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">Short name with the appropriate tooltip</font></p>
<p><font size="4">Hilaire</font><br>
</p>
<div class="moz-cite-prefix">Le 15/06/2023 à 09:23, Hernán Wilkinson
via Cuis-dev a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAGgF3GzMMS2vBr4ysEekd30aASHmk77DBmKqAoVRRsxsOhhxyg@mail.gmail.com">
<div dir="auto">A better name for those buttons would be “refactor
and show changes” and “refactor”, but former is too long… any
better idea is welcome </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>