GtkSourceView search fix