rem: okButton.setAttribute("value",GetString("Insert")); 
add: okButton.setAttribute("value", GetString("Insert")); 
context: function Startup(){  if (!InitEditorShell())    return;  StartupLatin();  doSetOKCancel(onOK, null);  var okButton = document.getElementById("ok");  if (okButton)    okButton.setAttribute("value",GetString("Insert"));  window.sizeToContent();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5eafc0feeb5eafc3a8dec8ecd2e935e7be206733/EdInsertChars.js/clean/editor/ui/dialogs/content/EdInsertChars.js