devtools/client/netmonitor/prefs.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14

"use strict";

const {PrefsHelper} = require("devtools/client/shared/prefs");

/**
 * 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"],
  statistics: ["Bool", "statistics"],
  filters: ["Json", "filters"]
});