1 function divxlistGetPreferencesService()
3 return Components
.classes
["@mozilla.org/preferences-service;1"].getService(Components
.interfaces
.nsIPrefService
).getBranch("");
6 function divxlistGetRoot()
8 return divxlistGetPreferencesService().getCharPref("divxlist.root");
10 function divxlistSetRoot(root
)
12 return divxlistGetPreferencesService().setCharPref("divxlist.root", root
);
15 function divxlistGetCommandes()
17 var commandes
= divxlistGetPreferencesService().getCharPref("divxlist.commandes");
18 var regex
= /'[^']*'/g
19 var res
= commandes
.match(regex
);
20 var commandesTab
= new Array()
22 for(var i
= 0; i
< res
.length
; i
+= 2)
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
);
32 function divxlistSetCommandes(commandes
)
34 var commandesStr
= "{"
35 for (var i
= 0; i
< commandes
.length
; i
++)
37 if (i
!= 0) commandesStr
+= ", "
38 commandesStr
+= "'" + commandes
[i
][0] + "' => "
39 commandesStr
+= "'" + commandes
[i
][1] + "'"
43 return divxlistGetPreferencesService().setCharPref("divxlist.commandes", commandesStr
);