|
|
- var infoList = new Array();
- var warnList = new Array();
- var errorList = new Array();
-
- function updateError(type) {
- with (document.options) {
- switch (type) {
- case 0:
- if (info.checked) parent.leftnav.document.options.info.value = 1;
- else parent.leftnav.document.options.info.value = 0;
- break;
-
- case 1:
- if (warn.checked) parent.leftnav.document.options.warn.value = 1;
- else parent.leftnav.document.options.warn.value = 0;
- break;
-
- case 2:
- if (error.checked) parent.leftnav.document.options.error.value = 1;
- else parent.leftnav.document.options.error.value = 0;
- break;
- }
- }
-
- parent.leftnav.showError();
- }
-
- function init() {
- if (!document.options) return;
- with (document.options) {
- if (parent.leftnav.document.options.info.value == 1) info.checked = 1;
- else info.checked = 0;
- if (parent.leftnav.document.options.warn.value == 1) warn.checked = 1;
- else warn.checked = 0;
- if (parent.leftnav.document.options.error.value == 1) error.checked = 1;
- else error.checked = 0;
-
- }
- }
-
- function showError(url) { parent.leftnav.showErrorLink(url); }
|