rem: if (theMimeType != null) { 
add: if (null != theMimeType) { 
context: function submitForm(theForm, query, theMimeType, saveHistory) {    debug.print("submitForm: " + query);    if (! theForm) {        alert("null form in submitForm!");        return;    }    // this causes the label to update    gBuffers.activate();    if (saveHistory) {        gHistory.add(query);    }    // sync the session, if it has changed    gSession.sync();    // TODO would like to disable buttons during post    // TODO it would be nice to grey out the target frame, if possible    // copy query to the hidden element    $(gQueryInput).value = query;    debug.print("submitForm: " + $F(gQueryInput));    // set the mime type    if (theMimeType != null) {        debug.print("submitForm: mimeType = " + theMimeType);        $(gQueryMimeType).value = theMimeType;    }    // post the form    theForm.submit();}
meta: 952	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/952/9c5f02369bb30e42ba4bb68262eabcbd532d7b22/query.js/clean/query.js