Code Editor : jquery.searchFilter.js