Comment 2 for bug 452226

After the convert to GtkSourceView and GtkSourceBuffer, it becomes easier to implement the search functionality.

Create a pop-up window with search options.
Assign CTRL-F and a menu item to this window.
Then, depending on the options, the following Gtk functionality can be used.

https://developer.gnome.org/gtksourceview/stable/GtkSourceSearchContext.html

Gtk minimal version: 3.10