diff options
Diffstat (limited to 'libre/iceweasel/vendor.js')
| -rw-r--r-- | libre/iceweasel/vendor.js | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/libre/iceweasel/vendor.js b/libre/iceweasel/vendor.js index fd7a153b5..f84f623d2 100644 --- a/libre/iceweasel/vendor.js +++ b/libre/iceweasel/vendor.js @@ -44,3 +44,11 @@ pref("media.gmp-manager.url.override", "data:text/plain,"); // Disable openh264. pref("media.gmp-gmpopenh264.provider.enabled", false); + +// Make sure that WebIDE avoid installing nonfree Firefox OS in development tools +pref("devtools.webide.adbAddonID"; ""); +pref("devtools.webide.adbAddonURL"; ""); +pref("devtools.webide.addonsURL"; ""); +pref("devtools.webide.autoinstallADBHelper"; "false"); +pref("devtools.webide.simulatorAddonID"; ""); +pref("devtools.webide.simulatorAddonsURL"; ""); |