rem: dump("EditorSelectFontSize: "+gFontSizeNames[select.selectedIndex]+"\n"); 
context: function EditorSelectFontSize(){  var select = document.getElementById("FontSizeSelect");dump("EditorSelectFontSize: "+gFontSizeNames[select.selectedIndex]+"\n");  if (select)  {     if (select.selectedIndex == -1)      return;    EditorSetFontSize(gFontSizeNames[select.selectedIndex]);  }}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/035965297dd3eee99dadbd7c3a6f8560d975d3ea/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js