!import
(0 calls, 0 incl. v-uS, 0 excl. v-uS)
1 var gFilterList;
2 var gLogFilters;
3 var gLogView;
4
onLoad
(0 calls, 0 incl. v-uS, 0 excl. v-uS)
5 function onLoad()
6 {
7 gFilterList = window.arguments[0].filterList;
8
9 gLogFilters = document.getElementById("logFilters");
10 gLogFilters.checked = gFilterList.loggingEnabled;
11
12 gLogView = document.getElementById("logView");
13
14 // for security, disable JS
15 gLogView.docShell.allowJavascript = false;
16
17 // if log doesn't exist, this will create an empty file on disk
18 // otherwise, the user will get an error that the file doesn't exist
19 gFilterList.ensureLogFile();
20
21 gLogView.setAttribute("src", gFilterList.logURL);
22 }
23
toggleLogFilters
(0 calls, 0 incl. v-uS, 0 excl. v-uS)
24 function toggleLogFilters()
25 {
26 gFilterList.loggingEnabled = gLogFilters.checked;
27 }
28
clearLog
(0 calls, 0 incl. v-uS, 0 excl. v-uS)
29 function clearLog()
30 {
31 gFilterList.clearLog();
32
33 // reload the newly truncated file
34 gLogView.reload();
35 }