Opera 10.50 has new search highlighting, though, and the right-click context menu for highlighted text has included a translate option for a while now.