options.js

这是《JavaScript学习源代码》一书的源代码

// a function to set the name and values of list options
function set_options()
{                                     
  with( window.document.forms.f.menu ) 
  {                     
  options[0].text = "One"; options[0].value = "1";
  options[1].text = "Two"; options[1].value = "2";
  options[2].text = "Three"; options[2].value = "3"; 
  }        
}