Your comments

I prefer it the way it is now, because you get your results instantly. You might not even have to type out the whole word you're searching for. Press enter to jump to the next occurrence. Press escape to go back to the editor. We all have different preferences, I suppose.