Currently SourceMarker is just typedef-ed as Gtk::TextMark. This doesn't give the full functionality of the GtkSourceMarker class (see http://gtksourceview.sourceforge.net/docs/gtksourceview-GtkSourceMarker.html). In particular, I was thinking about using the get_marker_type() / set_marker_type() API in nemiver for switching markers between the marker for enabled or disabled breakpoints. (disclaimer, I don't know if this is the best way to implement this functionality, but it seems the functionality should still exist in gtksourceviewmm).
-- jonner _______________________________________________ Gtksourceviewmm-list mailing list [email protected] https://mail.gna.org/listinfo/gtksourceviewmm-list
