Diff lablgtk-sourceview-3.1.2 with a lablgtk-sourceview-3.1.3

Thank you!