blob: b13095a6bf8467f93f1ea0eae1a7845941499638 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
### Localization for Developer Tools options
## Default Developer Tools section
# The heading
options-select-default-tools-label = Strumenti di sviluppo predefiniti
# The label for the explanation of the * marker on a tool which is currently not supported
# for the target of the toolbox.
options-tool-not-supported-label = * Non supportato per il target corrente degli strumenti
# The label for the heading of group of checkboxes corresponding to the developer tools
# added by add-ons. This heading is hidden when there is no developer tool installed by add-ons.
options-select-additional-tools-label = Strumenti di sviluppo installati da componenti aggiuntivi
# The label for the heading of group of checkboxes corresponding to the default developer
# tool buttons.
options-select-enabled-toolbox-buttons-label = Pulsanti disponibili
# The label for the heading of the radiobox corresponding to the theme
options-select-dev-tools-theme-label = Temi:
## Inspector section
# The heading
options-context-inspector = Analisi pagina
# The label for the checkbox option to show user agent styles
options-show-user-agent-styles-label = Visualizza stili del browser
options-show-user-agent-styles-tooltip =
.title = Attivando questa opzione verranno visualizzati gli stili predefiniti caricati dal browser.
# The label for the checkbox option to enable collapse attributes
options-collapse-attrs-label = Tronca attributi DOM
options-collapse-attrs-tooltip =
.title = Tronca gli attributi troppo lunghi in Analisi pagina
## "Default Color Unit" options for the Inspector
options-default-color-unit-label = Unità predefinita colori:
options-default-color-unit-authored = come l’originale
options-default-color-unit-hex = esadecimale
options-default-color-unit-hsl = HSL(A)
options-default-color-unit-rgb = RGB(A)
options-default-color-unit-name = nomi dei colori
## Style Editor section
# The heading
options-styleeditor-label = Editor stili
# The label for the checkbox that toggles autocompletion of css in the Style Editor
options-stylesheet-autocompletion-label = Completamento automatico CSS
options-stylesheet-autocompletion-tooltip =
.title = Completa automaticamente durante la scrittura nell’Editor stili le proprietà CSS, i valori e i selettori
## Screenshot section
# The heading
options-screenshot-label = Opzioni per la cattura schermate
# Label for the checkbox that toggles screenshot to clipboard feature
options-screenshot-clipboard-label = Salva negli appunti
options-screenshot-clipboard-tooltip =
.title = Salva la schermata direttamente negli appunti
# Label for the checkbox that toggles the camera shutter audio for screenshot tool
options-screenshot-audio-label = Riproduci il suono dell’otturatore
options-screenshot-audio-tooltip =
.title = Riproduci il suono dell’otturatore di una fotocamera quando si cattura una schermata
## Editor section
# The heading
options-sourceeditor-label = Preferenze editor
options-sourceeditor-detectindentation-tooltip =
.title = Cerca di identificare il rientro del testo in base al codice sorgente
options-sourceeditor-detectindentation-label = Rileva tipo di rientro
options-sourceeditor-autoclosebrackets-tooltip =
.title = Inserisci automaticamente le parentesi di chiusura
options-sourceeditor-autoclosebrackets-label = Chiusura automatica delle parentesi
options-sourceeditor-expandtab-tooltip =
.title = Utilizza spazi vuoti al posto del carattere di tabulazione
options-sourceeditor-expandtab-label = Utilizza spazio per rientri
options-sourceeditor-tabsize-label = Dimensione tabulazione
options-sourceeditor-keybinding-label = Scorciatoie da tastiera
options-sourceeditor-keybinding-default-label = Predefinito
## Advanced section
# The heading
options-context-advanced-settings = Impostazioni avanzate
# The label for the checkbox that toggles the HTTP cache on or off
options-disable-http-cache-label = Disattiva cache HTTP (quando gli strumenti sono aperti)
options-disable-http-cache-tooltip =
.title = Attivando questa opzione la cache HTTP verrà disattivata per tutte le schede in cui sono aperti gli strumenti di sviluppo. Questa impostazione non ha effetto sui service worker.
# The label for checkbox that toggles JavaScript on or off
options-disable-javascript-label = Disattiva JavaScript *
options-disable-javascript-tooltip =
.title = Attivando questa opzione JavaScript verrà disattivato per la scheda corrente. Se la scheda o gli strumenti di sviluppo vengono chiusi l’impostazione verrà rimossa.
# The label for checkbox that toggles chrome debugging, i.e. the devtools.chrome.enabled preference
options-enable-chrome-label = Attiva debug chrome del browser e componenti aggiuntivi
options-enable-chrome-tooltip =
.title = Attivando questa opzione è possibile utilizzare diversi strumenti di sviluppo direttamente sul browser (da Strumenti > Sviluppo web > Cassetta degli attrezzi browser) ed effettuare il debug dei componenti aggiuntivi
# The label for checkbox that toggles remote debugging, i.e. the devtools.debugger.remote-enabled preference
options-enable-remote-label = Attiva debug remoto
options-enable-remote-tooltip2 =
.title = Attivando questa opzione è possibile effettuare il debug remoto di questa istanza del browser
# The label for checkbox that toggles the service workers testing over HTTP on or off.
options-enable-service-workers-http-label = Attiva service worker via HTTP (quando la cassetta degli attrezzi è aperta)
options-enable-service-workers-http-tooltip =
.title = Attivando questa opzione verranno attivati i service worker via HTTP in tutte le schede dove la cassetta degli attrezzi è aperta.
# The label for the checkbox that toggles source maps in all tools.
options-source-maps-label = Attiva mapping di origine
options-source-maps-tooltip =
.title = Attivando questa opzione il mapping di origine verrà utilizzato per i riferimenti al codice sorgente negli strumenti.
# The message shown for settings that trigger page reload
options-context-triggers-page-refresh = * solo sessione corrente, ricarica la pagina
# The label for the checkbox that toggles the display of the platform data in the
# Profiler i.e. devtools.profiler.ui.show-platform-data a boolean preference in about:config
options-show-platform-data-label = Visualizza dati piattaforma Gecko
options-show-platform-data-tooltip =
.title = Attivando questa opzione i rapporti del Profiler JavaScript conterranno i simboli della piattaforma Gecko
|
