зеркало из https://github.com/mozilla/gecko-dev.git
Bug 881006 - Change Profile panel tooltip to say JavaScript Profiler; r=harth
This commit is contained in:
Родитель
d5170de6b1
Коммит
edfba155f4
|
@ -158,7 +158,7 @@ Tools.jsprofiler = {
|
|||
icon: "chrome://browser/skin/devtools/tool-profiler.png",
|
||||
url: "chrome://browser/content/devtools/profiler.xul",
|
||||
label: l10n("profiler.label", profilerStrings),
|
||||
tooltip: l10n("profiler.tooltip", profilerStrings),
|
||||
tooltip: l10n("profiler.tooltip2", profilerStrings),
|
||||
|
||||
isTargetSupported: function (target) {
|
||||
return true;
|
||||
|
|
|
@ -20,10 +20,10 @@ profiler.label=Profiler
|
|||
profiler2.commandkey=VK_F5
|
||||
profiler.accesskey=P
|
||||
|
||||
# LOCALIZATION NOTE (profiler.tooltip):
|
||||
# LOCALIZATION NOTE (profiler.tooltip2):
|
||||
# This string is displayed in the tooltip of the tab when the profiler is
|
||||
# displayed inside the developer tools window.
|
||||
profiler.tooltip=Profiler
|
||||
profiler.tooltip2=JavaScript Profiler
|
||||
|
||||
# LOCALIZATION NOTE (profiler.profileName):
|
||||
# This string is the default name for new profiles. Its parameter is a number.
|
||||
|
|
Загрузка…
Ссылка в новой задаче