gnome-mm Gtkmm (C++) wrapper for gtksourceview