зеркало из https://github.com/mozilla/gecko-dev.git
Bug 1297546 - Title of Default Developer Tools in Toolbox Options should not hard-code the application name. r=jdescottes
This commit is contained in:
Родитель
c0fde59d6e
Коммит
c4e1b4ed83
|
@ -17,7 +17,7 @@
|
|||
<form id="options-panel">
|
||||
<div id="tools-box" class="options-vertical-pane">
|
||||
<fieldset id="default-tools-box" class="options-groupbox">
|
||||
<legend>&options.selectDefaultTools.label;</legend>
|
||||
<legend>&options.selectDefaultTools.label2;</legend>
|
||||
</fieldset>
|
||||
|
||||
<fieldset id="additional-tools-box" class="options-groupbox">
|
||||
|
@ -171,7 +171,7 @@
|
|||
data-pref="devtools.chrome.enabled"/>
|
||||
<span>&options.enableChrome.label5;</span>
|
||||
</label>
|
||||
<label title="&options.enableRemote.tooltip;">
|
||||
<label title="&options.enableRemote.tooltip2;">
|
||||
<input type="checkbox"
|
||||
data-pref="devtools.debugger.remote-enabled"/>
|
||||
<span>&options.enableRemote.label3;</span>
|
||||
|
|
|
@ -93,7 +93,7 @@
|
|||
- checkbox that toggles remote debugging, i.e. devtools.debugger.remote-enabled
|
||||
- boolean preference in about:config, in the options panel. -->
|
||||
<!ENTITY options.enableRemote.label3 "Enable remote debugging">
|
||||
<!ENTITY options.enableRemote.tooltip "Turning this option on will allow the developer tools to debug remote Firefox instance like Firefox OS">
|
||||
<!ENTITY options.enableRemote.tooltip2 "Turning this option on will allow the developer tools to debug a remote instance like Firefox OS">
|
||||
|
||||
<!-- LOCALIZATION NOTE (options.enableWorkers.label): This is the label for the
|
||||
- checkbox that toggles worker debugging, i.e. devtools.debugger.workers
|
||||
|
@ -119,10 +119,10 @@
|
|||
<!ENTITY options.enableServiceWorkersHTTP.label "Enable Service Workers over HTTP (when toolbox is open)">
|
||||
<!ENTITY options.enableServiceWorkersHTTP.tooltip "Turning this option on will enable the service workers over HTTP for all tabs that have the toolbox open.">
|
||||
|
||||
<!-- LOCALIZATION NOTE (options.selectDefaultTools.label): This is the label for
|
||||
<!-- LOCALIZATION NOTE (options.selectDefaultTools.label2): This is the label for
|
||||
- the heading of group of checkboxes corresponding to the default developer
|
||||
- tools. -->
|
||||
<!ENTITY options.selectDefaultTools.label "Default Firefox Developer Tools">
|
||||
<!ENTITY options.selectDefaultTools.label2 "Default Developer Tools">
|
||||
|
||||
<!-- LOCALIZATION NOTE (options.selectAdditionalTools.label): This is the label for
|
||||
- the heading of group of checkboxes corresponding to the developer tools
|
||||
|
|
Загрузка…
Ссылка в новой задаче