gtksourceviewmm: New API in gtksourceviewmm 3.0