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); }