var codeMirrorTranslation = new Array();
codeMirrorTranslation['search'] = 'Search';
codeMirrorTranslation['search_for'] = 'Search for';
codeMirrorTranslation['replace'] = 'Replace';
codeMirrorTranslation['replace_with'] = 'Replace with';
codeMirrorTranslation['with'] = 'With';
codeMirrorTranslation['yes'] = 'Yes';
codeMirrorTranslation['no'] = 'No';
codeMirrorTranslation['stop'] = 'Stop';
codeMirrorTranslation['regex_info'] = 'Use /re/ syntax for regexp search';