From edfba155f4bdc884b94c7d469e3c156a3a7f3a9a Mon Sep 17 00:00:00 2001 From: Anton Kovalyov Date: Tue, 18 Jun 2013 17:24:36 -0700 Subject: [PATCH] Bug 881006 - Change Profile panel tooltip to say JavaScript Profiler; r=harth --- browser/devtools/main.js | 2 +- .../locales/en-US/chrome/browser/devtools/profiler.properties | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/browser/devtools/main.js b/browser/devtools/main.js index 16b941aed0e3..c61897110151 100644 --- a/browser/devtools/main.js +++ b/browser/devtools/main.js @@ -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; diff --git a/browser/locales/en-US/chrome/browser/devtools/profiler.properties b/browser/locales/en-US/chrome/browser/devtools/profiler.properties index c491f0d19542..01de77c655d8 100644 --- a/browser/locales/en-US/chrome/browser/devtools/profiler.properties +++ b/browser/locales/en-US/chrome/browser/devtools/profiler.properties @@ -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.