xpi/chrome/content/prefs.js

   1 function divxlistGetPreferencesService()
   2 {
   3    return Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService).getBranch("");
   4 }
   5
   6 function divxlistGetRoot()
   7 {
   8    return divxlistGetPreferencesService().getCharPref("divxlist.root");
   9 }
  10 function divxlistSetRoot(root)
  11 {
  12    return divxlistGetPreferencesService().setCharPref("divxlist.root", root);
  13 }
  14
  15 function divxlistGetCommandes()
  16 {
  17    var commandes = divxlistGetPreferencesService().getCharPref("divxlist.commandes");
  18    var regex = /'[^']*'/g
  19    var res = commandes.match(regex);
  20    var commandesTab = new Array()
  21    if (res != null)
  22       for(var i = 0; i < res.length; i += 2)
  23       {
  24          var motifCommande = new Array(2);
  25          motifCommande[0] = res[i].slice(1, res[i].length-1)
  26          motifCommande[1] = res[i+1].slice(1, res[i+1].length-1)
  27          commandesTab.push(motifCommande);
  28       }
  29    return commandesTab;
  30 }
  31
  32 function divxlistSetCommandes(commandes)
  33 {
  34    var commandesStr = "{"
  35    for (var i = 0; i < commandes.length; i++)
  36    {
  37       if (i != 0) commandesStr += ", "
  38       commandesStr += "'" + commandes[i][0] + "' => "
  39       commandesStr += "'" + commandes[i][1] + "'"
  40    }
  41    commandesStr += "}"
  42
  43    return divxlistGetPreferencesService().setCharPref("divxlist.commandes", commandesStr);
  44 }