rem: if ( gMIMEField.value == "" ) { 
add: if ( gMIMEField.value.search(/\S/) == -1 ) { 
context: function checkInput() {  var result = true;  // Check for empty MIME type field.  if ( gMIMEField.value == "" ) {    // Input is not OK.    result = false;    // Focus the mime type field.    gMIMEField.focus();    // Put up alert.  Title is same as parent dialog's.    var title    = window.document.documentElement.getAttribute( "title" );    var text     = gPrefApplicationsBundle.getString("emptyMIMEType");    var prompter = Components.classes["@mozilla.org/embedcomp/prompt-service;1"].getService(Components.interfaces.nsIPromptService);    prompter.alert(window, title, text);  }  return result;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/daecc5269ff2583f4063815d6f1374fd632e92ec/overrideHandler.js/clean/suite/common/pref/overrideHandler.js