What is a text editor that searches in ubuntu