ancora su 'set mark'

Francesco Potorti` pot@gnu.org
Thu, 04 Oct 2001 13:16:52 +0200


   in conclusione: per il momento "marcatura impostata" e "marcatura rimossa" 
   sono quelle che a mio parere rendono meglio l'idea

Se metti marcatore sono perfettamente d'accordo.  Marcatura  quando un
testo viene evidenziato, secondo me.