gedit - revisione
Luca Ferretti
elle.uca@infinito.it
Sab 6 Set 2003 15:40:00 CEST
On gio, 2003-08-28 at 18:32 +0200, Roberto Rosselli Del Turco wrote:
> Stefano Canepa wrote:
> > Tuesday 26 August 2003, alle 17:47, Roberto Rosselli Del Turco:
> > :
> > : #: data/gedit.schemas.in.h:1
> > : msgid ""
> > : "A custom font that will be used for the editing area. This will only take "
> > : "effect if the \"Use Default Font\" option is turned off."
> > : msgstr ""
> > : "Un font scelto dall'utente che verr?? utilizzato nell'area di editing. Verr?? "
> > : "utilizzato soltanto se l'opzione ??Usa font predefinito?? ?? disabilitata."
> > :
> >
> > Mi sembra che l'uso si di tradurre sempre font con carattere. Il che
> > vale tutte le volte che l'hai usato, non te lo segnalo più.
>
> "Font" è comprensibile anche per l'utente medio, mentre "carattere"
> viceversa è ambiguo (mi fa pensare a un unico carattere).
>
Però:
1. font -> [tipo di] carattere è quanto dice il glossario
2. lo strumento di GNOME per la selezione dei font usa per
l'appunto carattere
Indipercui: cambialo! :-)
> >
> > : #: data/gedit.schemas.in.h:57
> > : msgid "Whether gedit should insert spaces instead of tabs."
> > : msgstr "Abilita l'inserimento di spazi al posto dei tab."
> >
> > Forse qui, come da altre parti, metterei «carattere tabulatore» o
> > qualcosa del genere invece di «tab».
>
> Un po' lunghino, "tab" non è sufficientemente chiaro?
>
è nei file schema, quindi documentazioni delle chiavi GConf. Direi
altresì che è la spiegazione lunga, quindi nessun problema o
preoccupazione per lo spazio.
Semmai usare "al posto delle tabulazioni"
--
Occhi da orientale che raccontano emozioni
sguardo limpido di aprile di dolcissime illusioni
tutto scritto su di un viso che non riesce ad imparare
come chiudere fra i denti almeno il suo dolore
ds
Maggiori informazioni sulla lista
tp