diff options
Diffstat (limited to 'devtools/client/netmonitor/src/utils/prefs.js')
-rw-r--r-- | devtools/client/netmonitor/src/utils/prefs.js | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/devtools/client/netmonitor/src/utils/prefs.js b/devtools/client/netmonitor/src/utils/prefs.js new file mode 100644 index 0000000000..3c988f4294 --- /dev/null +++ b/devtools/client/netmonitor/src/utils/prefs.js @@ -0,0 +1,18 @@ +/* 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 { PrefsHelper } = require("resource://devtools/client/shared/prefs.js"); + +/** + * Shortcuts for accessing various network monitor preferences. + */ +exports.Prefs = new PrefsHelper("devtools.netmonitor", { + networkDetailsWidth: ["Int", "panes-network-details-width"], + networkDetailsHeight: ["Int", "panes-network-details-height"], + visibleColumns: ["Json", "visibleColumns"], + columnsData: ["Json", "columnsData"], + filters: ["Json", "filters"], +}); |