From 5d4d10d1af064f735d9189f8521cefbc4fde8386 Mon Sep 17 00:00:00 2001 From: Gijs Kruitbosch Date: Mon, 21 Oct 2013 12:48:38 +0200 Subject: [PATCH] Bug 894375 - change web developer tools tooltip, r=mconley --- .../browser/customizableui/customizableWidgets.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/browser/locales/en-US/chrome/browser/customizableui/customizableWidgets.properties b/browser/locales/en-US/chrome/browser/customizableui/customizableWidgets.properties index a59de7ae91d5..58718c02c626 100644 --- a/browser/locales/en-US/chrome/browser/customizableui/customizableWidgets.properties +++ b/browser/locales/en-US/chrome/browser/customizableui/customizableWidgets.properties @@ -25,7 +25,7 @@ open-file-button.tooltiptext = Open file (%S) developer-button.label = Developer # LOCALIZATION NOTE(developer-button.tooltiptext): %S is the keyboard shortcut -developer-button.tooltiptext = Toggle Developer Tools (%S) +developer-button.tooltiptext = Web Developer Tools (%S) add-ons-button.label = Add-ons # LOCALIZATION NOTE(add-ons-button.tooltiptext): %S is the keyboard shortcut