(to gtksourceview upstream and to Debian I should have said, sorry. You can use submittodebian from ubuntu-dev-tools to send the patch there.)
(to gtksourceview upstream and to Debian I should have said, sorry. You can use submittodebian from ubuntu-dev-tools to send the patch there.)