-
This is a port to GtkSourceView-4 which alters the API a bit. The only non-straightforward part is the fix for replaying previous search results, although even that is not much different.
742a7c04
This is a port to GtkSourceView-4 which alters the API a bit. The only non-straightforward part is the fix for replaying previous search results, although even that is not much different.