R: pin

Mirko Maischberger mirko@lilik.dmti.unifi.it
Tue, 19 Mar 2002 11:01:42 +0100


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.

Vista la strada presa, meglio "puntina, appuntare, appuntato".

La mia preferenza personale a questo punto Ŕ "puntina da disegno,
fissare, fissato".

So che non corrisponde, ma non vedo il problema, non si possono fissare
pacchetti con le puntine da disegno?

Scusate...

Mirko Maischberger

----- Original Message -----
From: Emanuele Aina <faina.mail@tiscali.it>
>  > Proposta glossario:
>  > pin, to pin, pinned (Debian apt) --> gancio, agganciare, agganciato
> Mi associo.