The editor should support basic text editing functions like search, search
and replace or go to a specific line.
Again, gedit is a good example how this feature could be implemented.
Original issue reported on code.google.com by albrecht.andi on 16 Mar 2009 at 5:22
Original issue reported on code.google.com by
albrecht.andi
on 16 Mar 2009 at 5:22