Bug#1018870: Confirm

[Giuseppe Barichello]

Same problem here.
Reinstalling libgtksourceview-4-common doesn't fix it.

Thanks,

Giuseppe