Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-11 12:25:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 894375 - change web developer tools tooltip, r=mconley

Browse Source
This commit is contained in:
Gijs Kruitbosch 2013-10-21 12:48:38 +02:00
parent fb53eab108
commit 5d4d10d1af
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
browser/locales/en-US/chrome/browser/customizableui/customizableWidgets.properties
View File

@ -25,7 +25,7 @@ open-file-button.tooltiptext = Open file (%S)
developer-button.label = Developer developer-button.label = Developer
# LOCALIZATION NOTE(developer-button.tooltiptext): %S is the keyboard shortcut # 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 add-ons-button.label = Add-ons
# LOCALIZATION NOTE(add-ons-button.tooltiptext): %S is the keyboard shortcut # LOCALIZATION NOTE(add-ons-button.tooltiptext): %S is the keyboard shortcut