devtools/client/netmonitor/src/utils/prefs.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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"],
});