mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-09 03:15:11 +00:00
Bug 1836414 - add a pref for aboutwebrtc autofresh;r=mjf
Differential Revision: https://phabricator.services.mozilla.com/D179840
This commit is contained in:
parent
b6ac928695
commit
c888b45db8
@ -10796,6 +10796,12 @@
|
||||
|
||||
# WebRTC prefs follow
|
||||
|
||||
# Enables auto refresh of stats by default
|
||||
- name: media.aboutwebrtc.auto_refresh
|
||||
type: bool
|
||||
value: @IS_NOT_NIGHTLY_BUILD@
|
||||
mirror: always
|
||||
|
||||
# Enables RTCPeerConnection support. Note that, when true, this pref enables
|
||||
# navigator.mediaDevices and getUserMedia() support as well.
|
||||
# See also media.navigator.enabled
|
||||
|
@ -368,7 +368,12 @@ class ShowTab extends Control {
|
||||
Object.assign(autorefresh, {
|
||||
type: "checkbox",
|
||||
id: "autorefresh",
|
||||
checked: true,
|
||||
checked: Services.prefs.getBoolPref("media.aboutwebrtc.auto_refresh"),
|
||||
onchange: () =>
|
||||
Services.prefs.setBoolPref(
|
||||
"media.aboutwebrtc.auto_refresh",
|
||||
autorefresh.checked
|
||||
),
|
||||
});
|
||||
const autorefreshLabel = document.createElement("label");
|
||||
document.l10n.setAttributes(
|
||||
@ -1387,10 +1392,12 @@ function renderUserPrefs() {
|
||||
"media.getusermedia",
|
||||
"media.gmp-gmpopenh264.enabled",
|
||||
];
|
||||
const hidden_prefs = ["media.aboutwebrtc.auto_refresh"];
|
||||
const renderPref = p => renderText("p", `${p}: ${getPref(p)}`);
|
||||
const display = prefs
|
||||
.flatMap(Services.prefs.getChildList)
|
||||
.filter(Services.prefs.prefHasUserValue)
|
||||
.filter(p => !hidden_prefs.includes(p))
|
||||
.map(renderPref);
|
||||
return renderElements(
|
||||
"div",
|
||||
|
Loading…
Reference in New Issue
Block a user