-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path1069674-disable-wae-if-unsupported.patch
36 lines (30 loc) · 1.21 KB
/
1069674-disable-wae-if-unsupported.patch
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
From caad4c6b12a97d2aaa8352b9915cee0dd0222c42 Mon Sep 17 00:00:00 2001
From: Jordan Santell <[email protected]>
Date: Mon, 27 Oct 2014 12:47:10 -0700
Subject: Bug 1069674 - Disable web audio tools on unsupported
platforms, r=jryans
---
browser/devtools/main.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/browser/devtools/main.js b/browser/devtools/main.js
index 8ba98ea..e4429f9 100644
--- a/browser/devtools/main.js
+++ b/browser/devtools/main.js
@@ -380,17 +380,17 @@ Tools.webAudioEditor = {
icon: "chrome://browser/skin/devtools/tool-webaudio.svg",
invertIconForLightTheme: true,
url: "chrome://browser/content/devtools/webaudioeditor.xul",
label: l10n("ToolboxWebAudioEditor1.label", webAudioEditorStrings),
panelLabel: l10n("ToolboxWebAudioEditor1.panelLabel", webAudioEditorStrings),
tooltip: l10n("ToolboxWebAudioEditor1.tooltip", webAudioEditorStrings),
isTargetSupported: function(target) {
- return !target.isAddon && !target.chrome;
+ return !target.isAddon && !target.chrome && target.hasActor("webaudio");
},
build: function(iframeWindow, toolbox) {
return new WebAudioEditorPanel(iframeWindow, toolbox);
}
};
Tools.scratchpad = {
--
1.8.4.2