addon-sdk/source/python-lib/cuddlefish/options_defaults.py@ac0c01689b40
addon-sdk/source/python-lib/cuddlefish/options_defaults.py
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 # This Source Code Form is subject to the terms of the Mozilla Public
2 # License, v. 2.0. If a copy of the MPL was not distributed with this
3 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
5 def parse_options_defaults(options, preferencesBranch):
6 # this returns a unicode string
7 pref_list = []
9 for pref in options:
10 if ('value' in pref):
11 value = pref["value"]
13 if isinstance(value, float):
14 continue
15 elif isinstance(value, bool):
16 value = str(pref["value"]).lower()
17 elif isinstance(value, str): # presumably ASCII
18 value = "\"" + unicode(pref["value"]) + "\""
19 elif isinstance(value, unicode):
20 value = "\"" + pref["value"] + "\""
21 else:
22 value = str(pref["value"])
24 pref_list.append("pref(\"extensions." + preferencesBranch + "." + pref["name"] + "\", " + value + ");")
26 return "\n".join(pref_list) + "\n"
