rem: dump("EditorSelectFontFace: "+gFontFaceNames[select.selectedIndex]+"\n"); 
context: function EditorSelectFontFace() {  var select = document.getElementById("FontFaceSelect");dump("EditorSelectFontFace: "+gFontFaceNames[select.selectedIndex]+"\n");  if (select)  {     if (select.selectedIndex == -1)      return;    EditorSetFontFace(gFontFaceNames[select.selectedIndex]);  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/cade4ed318f0d806cbc8141f7818df3fd85eec66/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js