The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/toolkit/devtools/server/actors/preference.js	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,126 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +const {Cc, Ci, Cu, CC} = require("chrome");
     1.9 +const protocol = require("devtools/server/protocol");
    1.10 +const {Arg, method, RetVal} = protocol;
    1.11 +const {Promise: promise} = Cu.import("resource://gre/modules/Promise.jsm", {});
    1.12 +
    1.13 +Cu.import("resource://gre/modules/Services.jsm");
    1.14 +
    1.15 +exports.register = function(handle) {
    1.16 +  handle.addGlobalActor(PreferenceActor, "preferenceActor");
    1.17 +};
    1.18 +
    1.19 +exports.unregister = function(handle) {
    1.20 +};
    1.21 +
    1.22 +let PreferenceActor = protocol.ActorClass({
    1.23 +  typeName: "preference",
    1.24 +
    1.25 +  getBoolPref: method(function(name) {
    1.26 +    return Services.prefs.getBoolPref(name);
    1.27 +  }, {
    1.28 +    request: { value: Arg(0) },
    1.29 +    response: { value: RetVal("boolean") }
    1.30 +  }),
    1.31 +
    1.32 +  getCharPref: method(function(name) {
    1.33 +    return Services.prefs.getCharPref(name);
    1.34 +  }, {
    1.35 +    request: { value: Arg(0) },
    1.36 +    response: { value: RetVal("string") }
    1.37 +  }),
    1.38 +
    1.39 +  getIntPref: method(function(name) {
    1.40 +    return Services.prefs.getIntPref(name);
    1.41 +  }, {
    1.42 +    request: { value: Arg(0) },
    1.43 +    response: { value: RetVal("number") }
    1.44 +  }),
    1.45 +
    1.46 +  getAllPrefs: method(function() {
    1.47 +    let prefs = {};
    1.48 +    Services.prefs.getChildList("").forEach(function(name, index) {
    1.49 +      // append all key/value pairs into a huge json object.
    1.50 +      try {
    1.51 +        let value;
    1.52 +        switch (Services.prefs.getPrefType(name)) {
    1.53 +          case Ci.nsIPrefBranch.PREF_STRING:
    1.54 +            value = Services.prefs.getCharPref(name);
    1.55 +            break;
    1.56 +          case Ci.nsIPrefBranch.PREF_INT:
    1.57 +            value = Services.prefs.getIntPref(name);
    1.58 +            break;
    1.59 +          case Ci.nsIPrefBranch.PREF_BOOL:
    1.60 +            value = Services.prefs.getBoolPref(name);
    1.61 +            break;
    1.62 +          default:
    1.63 +        }
    1.64 +        prefs[name] = {
    1.65 +          value: value,
    1.66 +          hasUserValue: Services.prefs.prefHasUserValue(name)
    1.67 +        };
    1.68 +      } catch (e) {
    1.69 +        // pref exists but has no user or default value
    1.70 +      }
    1.71 +    });
    1.72 +    return prefs;
    1.73 +  }, {
    1.74 +    request: {},
    1.75 +    response: { value: RetVal("json") }
    1.76 +  }),
    1.77 +
    1.78 +  setBoolPref: method(function(name, value) {
    1.79 +    Services.prefs.setBoolPref(name, value);
    1.80 +    Services.prefs.savePrefFile(null);
    1.81 +  }, {
    1.82 +    request: { name: Arg(0), value: Arg(1) },
    1.83 +    response: {}
    1.84 +  }),
    1.85 +
    1.86 +  setCharPref: method(function(name, value) {
    1.87 +    Services.prefs.setCharPref(name, value);
    1.88 +    Services.prefs.savePrefFile(null);
    1.89 +  }, {
    1.90 +    request: { name: Arg(0), value: Arg(1) },
    1.91 +    response: {}
    1.92 +  }),
    1.93 +
    1.94 +  setIntPref: method(function(name, value) {
    1.95 +    Services.prefs.setIntPref(name, value);
    1.96 +    Services.prefs.savePrefFile(null);
    1.97 +  }, {
    1.98 +    request: { name: Arg(0), value: Arg(1) },
    1.99 +    response: {}
   1.100 +  }),
   1.101 +
   1.102 +  clearUserPref: method(function(name) {
   1.103 +    Services.prefs.clearUserPref(name);
   1.104 +    Services.prefs.savePrefFile(null);
   1.105 +  }, {
   1.106 +    request: { name: Arg(0) },
   1.107 +    response: {}
   1.108 +  }),
   1.109 +});
   1.110 +
   1.111 +let PreferenceFront = protocol.FrontClass(PreferenceActor, {
   1.112 +  initialize: function(client, form) {
   1.113 +    protocol.Front.prototype.initialize.call(this, client);
   1.114 +    this.actorID = form.preferenceActor;
   1.115 +    client.addActorPool(this);
   1.116 +    this.manage(this);
   1.117 +  },
   1.118 +});
   1.119 +
   1.120 +const _knownPreferenceFronts = new WeakMap();
   1.121 +
   1.122 +exports.getPreferenceFront = function(client, form) {
   1.123 +  if (_knownPreferenceFronts.has(client))
   1.124 +    return _knownPreferenceFronts.get(client);
   1.125 +
   1.126 +  let front = new PreferenceFront(client, form);
   1.127 +  _knownPreferenceFronts.set(client, front);
   1.128 +  return front;
   1.129 +};