Actually I replaced gtksourceview3 with gtksourceview4 in the past but
reverted it to not differ from upstream.
I think I'll apply this patch again once trixie is out and the next
development cycle starts.
A transition to gtk4 should be done by upstream I guess.