browser/themes/linux/engineManager.css

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.

     1 %if 0
     2 /* This Source Code Form is subject to the terms of the Mozilla Public
     3  * License, v. 2.0. If a copy of the MPL was not distributed with this
     4  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     5 %endif
     7 #engineList treechildren::-moz-tree-image(engineName) {
     8   -moz-margin-end: 4px;
     9   -moz-margin-start: 1px;
    10   width: 16px;
    11   height: 16px;
    12 }
    14 #engineList treechildren::-moz-tree-row {
    15   height: 20px;
    16 }

mercurial