rem: editField.value = stringIn.replace(/\D+/g,""); 
add: editField.value = stringIn; 
context: function forceInteger(elementID){  var editField = document.getElementById( elementID );  if ( !editField )    return;  var stringIn = editField.value;  if (stringIn && stringIn.length > 0)  {    // Strip out all nonnumeric characters    editField.value = stringIn.replace(/\D+/g,"");    // we hope to remove the following line for blur() once xp widgets land    // cmanske (9/15) testing this now that GFX ender widget is active    //editField.blur();    //sysBeep.Beep();  }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/2b34b49a022263caa641dc5083239be58bde91c8/EdDialogCommon.js/clean/editor/ui/dialogs/content/EdDialogCommon.js