1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
<?xml version="1.0"?>
<?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
<!DOCTYPE overlay SYSTEM "chrome://toggleproxy/locale/toggleproxy.dtd">
<prefwindow id="toggleproxy-preferences"
title="&pref.title;"
buttons="accept,cancel"
onload="toggle_prefs.onload();"
ondialogaccept="toggle_prefs.unload();"
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
<prefpane id="toggleproxypref" label="&pref.title;">
<groupbox>
<caption label="&pref.onelabel;" />
<radiogroup id="toggleproxy_toggleone">
<radio value="0" label="&pref.radiozero;" />
<radio value="4" label="&pref.radioone;" />
<radio value="5" label="&pref.radiotwo;" />
<radio value="1" label="&pref.radiothree;" />
<radio value="2" label="&pref.radiofour;" />
</radiogroup>
</groupbox>
<groupbox>
<caption label="&pref.twolabel;" />
<radiogroup id="toggleproxy_toggletwo">
<radio value="0" label="&pref.radiozero;" />
<radio value="4" label="&pref.radioone;" />
<radio value="5" label="&pref.radiotwo;" />
<radio value="1" label="&pref.radiothree;" />
<radio value="2" label="&pref.radiofour;" />
</radiogroup>
</groupbox>
</prefpane>
<script type="application/x-javascript">
<![CDATA[
var toggle_prefs = {
prefs : null,
onload : function ()
{
this.prefs = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService).getBranch("extensions.toggleproxy.");
if (document.documentElement.getButton("accept").hidden == true)
{
document.documentElement.getButton("accept").hidden = false;
document.documentElement.getButton("accept").disabled = false;
document.documentElement.getButton("cancel").hidden = false;
document.documentElement.getButton("cancel").disabled = false;
}
document.getElementById("toggleproxy_toggleone").value = this.prefs.getIntPref("toggleone");
document.getElementById("toggleproxy_toggletwo").value = this.prefs.getIntPref("toggletwo");
},
unload : function ()
{
this.prefs = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService).getBranch("extensions.toggleproxy.");
this.prefs.setIntPref("toggleone", document.getElementById("toggleproxy_toggleone").value);
this.prefs.setIntPref("toggletwo", document.getElementById("toggleproxy_toggletwo").value);
}
};
]]>
</script>
<script type="application/x-javascript" src="chrome://toggleproxy/content/customizeShortcuts.js" />
</prefwindow>
|
