rem: SetElementEnabledById("ok", enable); 
add: SetElementEnabled(document.documentElement.getButton("accept"), enable); 
context: function onFocus(){  var enable = true;  if ("gEditorDisplayMode" in window.opener)    enable = !window.opener.IsInHTMLSourceMode();  SetElementEnabledById("ok", enable);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/312ab45324ae2dff455facaead1d016d846d025b/EdInsertChars.js/clean/editor/ui/dialogs/content/EdInsertChars.js