> Secondo me potrenno sorgere problemi con le GUI. Se il simbolo
> utilizzato per rappresentare l'operazione sarà (com'è d'uso) una
> puntina da disegno, scrivere "gancio" nel tooltip non ha molto
> senso.
A mio gusto è meglio convivere con un'incoerenza fra parola gancio e
disegnino (puntina da disegno) piuttosto che con `puntina, appuntare,
appuntato' o variazioni sul tema.