|
|
45.
|
|
|
Default color of bold text in the terminal, as a color specification (can be HTML-style hex digits, or a color name such as "red"). This is ignored if bold_color_same_as_fg is true.
|
|
|
|
|
Colore predefinito del testo in grassetto nel terminale, come una specifica di colore (può essere un numero esadecimale in stile HTML oppure il nome di un colore come "red"). Questo è ignorato se il parametro bold_color_same_as_fg è impostato a VERO.
|
|
Translated by
Claudio Arseni
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:10
|
|
|
46.
|
|
|
Whether bold text should use the same color as normal text
|
|
|
|
|
Indica se il testo in grassetto deve avere lo stesso colore del testo normale
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:154
|
|
|
47.
|
|
|
If true, boldface text will be rendered using the same color as normal text.
|
|
|
|
|
Se VERO, il testo in grassetto verrà visualizzato utilizzando lo stesso colore del testo normale.
|
|
Translated by
Claudio Arseni
|
|
|
|
Located in
src/org.gnome.Terminal.gschema.xml:155
|
|
|
48.
|
|
|
What to do with dynamic title
|
|
|
|
|
Cosa fare con il titolo dinamico
|
|
Translated and reviewed by
Stefano Canepa
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:33
|
|
|
49.
|
|
|
If the application in the terminal sets the title (most typically people have their shell set up to do this), the dynamically-set title can erase the configured title, go before it, go after it, or replace it. The possible values are "replace", "before", "after", and "ignore".
|
|
|
|
|
Se l'applicazione nel terminale imposta il titolo (generalmente le persone hanno degli script di shell per fare questo), il titolo impostato dinamicamente può eliminare quello configurato, andare prima, dopo oppure rimpiazzarlo. I possibili valori sono "replace", "before", "after" e "ignore".
|
|
Translated by
Stefano Canepa
|
|
Reviewed by
Luca Ferretti
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:34
|
|
|
50.
|
|
|
Title for terminal
|
|
|
|
|
Titolo del terminale
|
|
Translated and reviewed by
Stefano Canepa
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:36
|
|
|
51.
|
|
|
Title to display for the terminal window or tab. This title may be replaced by or combined with the title set by the application inside the terminal, depending on the title_mode setting.
|
|
|
|
|
Titolo da mostrare nella finestra o nella scheda del terminale. Questo titolo può essere rimpiazzato o combinarsi con il titolo impostato dall'applicazione all'interno del terminale a seconda del valore di title_mode.
|
|
Translated by
Claudio Arseni
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:37
|
|
|
52.
|
|
|
Whether to allow bold text
|
|
|
|
|
Indica se consentire il testo in grassetto
|
|
Translated and reviewed by
Stefano Canepa
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:31
|
|
|
53.
|
|
|
If true, allow applications in the terminal to make text boldface.
|
|
|
|
|
Se VERO, permette ai programmi nel terminale di mostrare testo in grassetto.
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
../src/org.gnome.Terminal.gschema.xml.h:32
|
|
|
54.
|
|
|
Whether to silence terminal bell
|
|
|
|
|
Indica se disabilitare l'avviso acustico
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
../src/gnome-terminal.schemas.in.h:40
|
