|
118.
|
|
|
Font
|
|
|
|
Carattere
|
|
Translated by
igi
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:529
plugins/externaltools/org.gnome.gedit.plugins.externaltools.gschema.xml:14
plugins/pythonconsole/org.gnome.gedit.plugins.pythonconsole.gschema.xml:24
|
|
119.
|
|
|
Font & Colors
|
|
|
|
Caratteri e colori
|
|
Translated by
Milo Casagrande
|
|
Reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:736
|
|
120.
|
|
|
Highlight current _line
|
|
|
|
Evidenziare la ri_ga corrente
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:238
|
|
121.
|
|
|
Highlight matching _brackets
|
|
|
|
Evidenziare le _parentesi corrispondenti
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:252
|
|
122.
|
|
|
Highlighting
|
|
|
|
Evidenziazione
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:220
|
|
123.
|
|
|
Insert _spaces instead of tabs
|
|
|
|
Inserire _spazi invece di tabulazioni
|
|
Translated by
Milo Casagrande
|
|
Reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:359
|
|
124.
|
|
|
Pick the editor font
|
|
|
|
Scelta del carattere dell'editor
|
|
Translated and reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:590
|
|
125.
|
|
|
Plugins
|
|
|
|
Plugin
|
|
Translated and reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:761
|
|
126.
|
|
|
Preferences
|
|
|
|
Preferenze
|
|
Translated and reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:8
gedit/resources/ui/gedit-preferences-dialog.ui:15
|
|
127.
|
|
|
Tab Stops
|
|
|
|
Tabulazioni
|
|
Translated by
igi
|
|
|
|
Located in
gedit/resources/ui/gedit-preferences-dialog.ui:307
|