The latest version of gi-gtksource is 5.0.1-0.

GI.GtkSource.Interfaces.CompletionProposal

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?