mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-25 11:15:34 +00:00
73adf5f4f8
We add a GridElementWidthResizer to handle the editor width. The width is then persisted in a pref. A test is added to ensure this works as expected. Differential Revision: https://phabricator.services.mozilla.com/D37687 --HG-- extra : moz-landing-system : lando
48 lines
1.3 KiB
JavaScript
48 lines
1.3 KiB
JavaScript
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
"use strict";
|
|
const Services = require("Services");
|
|
|
|
function getPreferenceName(hud, suffix) {
|
|
if (!suffix) {
|
|
console.error("Suffix shouldn't be falsy", { suffix });
|
|
return null;
|
|
}
|
|
|
|
if (!hud) {
|
|
console.error("hud shouldn't be falsy", { hud });
|
|
return null;
|
|
}
|
|
|
|
if (suffix.startsWith("devtools.")) {
|
|
// We don't have a suffix but a full pref name. Let's return it.
|
|
return suffix;
|
|
}
|
|
|
|
const component = hud.isBrowserConsole ? "browserconsole" : "webconsole";
|
|
return `devtools.${component}.${suffix}`;
|
|
}
|
|
|
|
function getPrefsService(hud) {
|
|
const getPrefName = pref => getPreferenceName(hud, pref);
|
|
|
|
return {
|
|
getBoolPref: (pref, deflt) =>
|
|
Services.prefs.getBoolPref(getPrefName(pref), deflt),
|
|
getIntPref: (pref, deflt) =>
|
|
Services.prefs.getIntPref(getPrefName(pref), deflt),
|
|
setBoolPref: (pref, value) =>
|
|
Services.prefs.setBoolPref(getPrefName(pref), value),
|
|
setIntPref: (pref, value) =>
|
|
Services.prefs.setIntPref(getPrefName(pref), value),
|
|
clearUserPref: pref => Services.prefs.clearUserPref(getPrefName(pref)),
|
|
getPrefName,
|
|
};
|
|
}
|
|
|
|
module.exports = {
|
|
getPrefsService,
|
|
};
|