diff options
Diffstat (limited to 'devtools/client')
-rw-r--r-- | devtools/client/framework/devtools-browser.js | 12 | ||||
-rw-r--r-- | devtools/client/locales/en-US/animationinspector.properties | 4 |
2 files changed, 8 insertions, 8 deletions
diff --git a/devtools/client/framework/devtools-browser.js b/devtools/client/framework/devtools-browser.js index f032f82aa..4d7176b4c 100644 --- a/devtools/client/framework/devtools-browser.js +++ b/devtools/client/framework/devtools-browser.js @@ -28,7 +28,7 @@ loader.lazyRequireGetter(this, "DebuggerClient", "devtools/shared/client/main", loader.lazyRequireGetter(this, "BrowserMenus", "devtools/client/framework/browser-menus"); loader.lazyImporter(this, "AppConstants", "resource://gre/modules/AppConstants.jsm"); -#ifdef MC_BASILISK +#ifdef MOZ_AUSTRALIS loader.lazyImporter(this, "CustomizableUI", "resource:///modules/CustomizableUI.jsm"); #endif @@ -335,7 +335,7 @@ var gDevToolsBrowser = exports.gDevToolsBrowser = { * Install Developer widget */ installDeveloperWidget: function () { -#ifdef MC_BASILISK +#ifdef MOZ_AUSTRALIS let id = "developer-button"; let widget = CustomizableUI.getWidget(id); if (widget && widget.provider == CustomizableUI.PROVIDER_API) { @@ -394,7 +394,7 @@ var gDevToolsBrowser = exports.gDevToolsBrowser = { */ // Used by itself installWebIDEWidget: function () { -#ifdef MC_BASILISK +#ifdef MOZ_AUSTRALIS if (this.isWebIDEWidgetInstalled()) { return; } @@ -422,7 +422,7 @@ var gDevToolsBrowser = exports.gDevToolsBrowser = { }, isWebIDEWidgetInstalled: function () { -#ifdef MC_BASILISK +#ifdef MOZ_AUSTRALIS let widgetWrapper = CustomizableUI.getWidget("webide-button"); return !!(widgetWrapper && widgetWrapper.provider == CustomizableUI.PROVIDER_API); #else @@ -439,7 +439,7 @@ var gDevToolsBrowser = exports.gDevToolsBrowser = { * Uninstall WebIDE widget */ uninstallWebIDEWidget: function () { -#ifdef MC_BASILISK +#ifdef MOZ_AUSTRALIS if (this.isWebIDEWidgetInstalled()) { CustomizableUI.removeWidgetFromArea("webide-button"); } @@ -454,7 +454,7 @@ var gDevToolsBrowser = exports.gDevToolsBrowser = { */ // Used by webide.js moveWebIDEWidgetInNavbar: function () { -#ifdef MC_BASILISK +#ifdef MOZ_AUSTRALIS CustomizableUI.addWidgetToArea("webide-button", CustomizableUI.AREA_NAVBAR); #else return; diff --git a/devtools/client/locales/en-US/animationinspector.properties b/devtools/client/locales/en-US/animationinspector.properties index a61f07f57..57063e101 100644 --- a/devtools/client/locales/en-US/animationinspector.properties +++ b/devtools/client/locales/en-US/animationinspector.properties @@ -121,12 +121,12 @@ player.somePropertiesOnCompositorTooltip=Some animation properties are optimized # run. timeline.rateSelectorTooltip=Set the animations playback rates -# LOCALIZATION NOTE (timeline.pauseResumeButtonTooltip): +# LOCALIZATION NOTE (timeline.pausedButtonTooltip): # This string is displayed in the timeline toolbar, as the tooltip of the # pause/resume button that can be used to pause or resume the animations timeline.pausedButtonTooltip=Resume the animations -# LOCALIZATION NOTE (timeline.pauseResumeButtonTooltip): +# LOCALIZATION NOTE (timeline.resumedButtonTooltip): # This string is displayed in the timeline toolbar, as the tooltip of the # pause/resume button that can be used to pause or resume the animations timeline.resumedButtonTooltip=Pause the animations |