db07f6a08a0a9987c6082feb678441e5e0926fe2
2 function webdeveloper_toggleCache(element
)
4 webdeveloper_disablePreference(element
, "browser.cache.disk.enable");
5 webdeveloper_disablePreference(element
, "browser.cache.memory.enable");
9 function webdeveloper_toggleJava(element
)
11 webdeveloper_disablePreference(element
, "security.enable_java");
15 function webdeveloper_toggleJavaScript(element
)
17 var javaScriptButton
= document
.getElementById("webdeveloper-javascript-statusbar");
19 webdeveloper_disablePreference(element
, "javascript.enabled");
21 // If the JavaScript button exists
24 // If disabling JavaScript
25 if(element
.getAttribute("checked"))
27 javaScriptButton
.setAttribute("class", "disabled");
28 javaScriptButton
.setAttribute("tooltiptext", document
.getElementById("webdeveloper-string-bundle").getString("webdeveloper_javaScriptDisabledTooltip"));
32 // If the JavaScript button has a class attribute
33 if(javaScriptButton
.hasAttribute("class"))
35 javaScriptButton
.removeAttribute("class");
38 // If the JavaScript button has a tooltip text attribute
39 if(javaScriptButton
.hasAttribute("tooltiptext"))
41 javaScriptButton
.removeAttribute("tooltiptext");
47 // Toggles meta redirects
48 function webdeveloper_toggleMetaRedirects(element
)
50 var allowMetaRedirects
= true;
51 var browsers
= getBrowser().browsers
;
52 var browserLength
= browsers
.length
;
54 // If the element is checked
55 if(element
.getAttribute("checked"))
57 allowMetaRedirects
= false;
60 // Loop through the browsers
61 for(var i
= 0; i
< browserLength
; i
++)
63 browsers
[i
].docShell
.allowMetaRedirects
= allowMetaRedirects
;
66 webdeveloper_enablePreference(element
, "webdeveloper.meta.redirects.disable");
69 // Toggles the minimum font size
70 function webdeveloper_toggleMinimumFontSize(element
)
72 var defaultFontSize
= 10;
73 var minimumFontSize
= null;
75 // If disabling the minimum font size
76 if(element
.getAttribute("checked"))
78 minimumFontSize
= webdeveloper_getIntegerPreference("font.minimum-size.x-western", true);
80 // If the minimum font size is not set
81 if(minimumFontSize
== 0)
83 minimumFontSize
= defaultFontSize
;
86 webdeveloper_deletePreference("font.minimum-size.x-western");
87 webdeveloper_setIntegerPreference("webdeveloper.font.minimum.size", minimumFontSize
);
91 minimumFontSize
= webdeveloper_getIntegerPreference("webdeveloper.font.minimum.size", true);
93 // If the minimum font size is not set
94 if(minimumFontSize
== 0)
96 minimumFontSize
= defaultFontSize
;
99 webdeveloper_deletePreference("webdeveloper.font.minimum.size");
100 webdeveloper_setIntegerPreference("font.minimum-size.x-western", minimumFontSize
);
106 // Toggles the page colors
107 function webdeveloper_togglePageColors(element
)
109 webdeveloper_disablePreference(element
, "browser.display.use_document_colors");
113 // Toggles the proxy settings
114 function webdeveloper_toggleProxy(element
)
116 // If disabling the proxy
117 if(element
.getAttribute("checked"))
119 webdeveloper_setIntegerPreference("webdeveloper.proxy.type", webdeveloper_getIntegerPreference("network.proxy.type", true));
120 webdeveloper_deletePreference("network.proxy.type");
124 webdeveloper_setIntegerPreference("network.proxy.type", webdeveloper_getIntegerPreference("webdeveloper.proxy.type", true));
125 webdeveloper_deletePreference("webdeveloper.proxy.type");
130 function webdeveloper_toggleReferrers(element
)
132 var sendReferrer
= 2;
134 // If disabling referrers
135 if(element
.getAttribute("checked"))
140 webdeveloper_setIntegerPreference("network.http.sendRefererHeader", sendReferrer
);
143 // Updates the disable menu
144 function webdeveloper_updateDisableMenu(suffix
)
146 var checked
= !webdeveloper_getBooleanPreference("browser.cache.disk.enable", false) && !webdeveloper_getBooleanPreference("browser.cache.memory.enable", false);
147 var menu
= document
.getElementById("webdeveloper-disable-proxy-" + suffix
);
149 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-cache-" + suffix
), "checked", checked
);
150 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-java-" + suffix
), "checked", !webdeveloper_getBooleanPreference("security.enable_java", false));
151 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-javascript-" + suffix
), "checked", !webdeveloper_getBooleanPreference("javascript.enabled", false));
152 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-meta-redirects-" + suffix
), "checked", webdeveloper_getBooleanPreference("webdeveloper.meta.redirects.disable", true));
153 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-minimum-font-size-" + suffix
), "checked", webdeveloper_getIntegerPreference("font.minimum-size.x-western", true) == 0);
154 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-page-colors-" + suffix
), "checked", !webdeveloper_getBooleanPreference("browser.display.use_document_colors", false));
155 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-popup-blocker-" + suffix
), "checked", !webdeveloper_getBooleanPreference("dom.disable_open_during_load", false));
157 // If the menu is set
160 var proxyConfigured
= webdeveloper_isPreferenceSet("network.proxy.type");
161 var proxyDisabled
= webdeveloper_isPreferenceSet("webdeveloper.proxy.type");
163 webdeveloper_configureElement(menu
, "checked", !proxyConfigured
&& proxyDisabled
);
164 webdeveloper_configureElement(menu
, "disabled", !proxyConfigured
&& !proxyDisabled
);
167 // If the referrer preference is set to 0
168 if(webdeveloper_getIntegerPreference("network.http.sendRefererHeader", false) == 0)
177 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-referrers-" + suffix
), "checked", checked
);
180 // Updates the disable JavaScript menu
181 function webdeveloper_updateDisableJavaScriptMenu(suffix
)
183 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-all-javascript-" + suffix
), "checked", !webdeveloper_getBooleanPreference("javascript.enabled", false));
184 webdeveloper_configureElement(document
.getElementById("webdeveloper-disable-strict-javascript-warnings-" + suffix
), "checked", !webdeveloper_getBooleanPreference("javascript.options.strict", false));