code: function onLoad() {
      e_interfaceList  = document.getElementById("interface-list")
      e_interfaceName  = document.getElementById("interface-name")
      e_interfaceBody  = document.getElementById("interface-body")
      e_showIdl        = document.getElementById("show-Idl")
      e_showJavaScript = document.getElementById("show-JavaScript")
      e_showJava       = document.getElementById("show-Java")
  
      setUpShowCheckBoxes()
      populateInterfacesList(IDLTools.getIDLsMatching(/.*/))
  }
docs: -----------------------------------------------------------------------------