rem:  editField.value = stringIn; 
add:   if (stringIn != editField.value) editField.value = stringIn; 
context: function forceInteger(elementID){  var editField = document.getElementById( elementID );  if ( !editField )    return;  var stringIn = editField.value;  if (stringIn && stringIn.length > 0)  {    stringIn = stringIn.replace(/\D+/g,"");    if (!stringIn) stringIn = "";    // Strip out all nonnumeric characters    editField.value = stringIn;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a8e5c0b7bcf6def29348bdc1fb448239fd223bd2/EdDialogCommon.js/buggy/editor/ui/dialogs/content/EdDialogCommon.js