browser/devtools/profiler/consts.js

Thu, 15 Jan 2015 15:59:08 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 15 Jan 2015 15:59:08 +0100
branch
TOR_BUG_9701
changeset 10
ac0c01689b40
permissions
-rw-r--r--

Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.

michael@0 1 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 2 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 4
michael@0 5 "use strict";
michael@0 6
michael@0 7 module.exports = {
michael@0 8 L10N_BUNDLE: "chrome://browser/locale/devtools/profiler.properties",
michael@0 9
michael@0 10 PROFILER_ENABLED: "devtools.profiler.enabled",
michael@0 11 SHOW_PLATFORM_DATA: "devtools.profiler.ui.show-platform-data",
michael@0 12
michael@0 13 PROFILE_IDLE: 0,
michael@0 14 PROFILE_RUNNING: 1,
michael@0 15 PROFILE_COMPLETED: 2
michael@0 16 };

mercurial