It is very hard to search on theme editor. Usually I must copy-paste from theme editor to notepad then do the search. Then I must remember roughly on which line that part then look back at theme editor.

Or I just do the changes on notepad then copy-paste the whole text to theme editor.

So I think it will be a good addition if we can search and see line number built-in on theme editor.