GtkSourceMarker API

[Paolo Maggi <paolo maggi polito it>]

Hi GtkSourceView users,

	in these days, we are reviewing the GtkSourceView 2.0 API before
setting it to stone.

The API review discussion happens on IRC and on
http://live.gnome.org/GtkSourceView/Gsv2APIReview

I'm writing this mail to ask your help.

We have no direct experience in the usage of GtkSourceMarker class
because gedit does not use it, so if you are the author of an
application that is using the GtkSourceMarker class, please let we know
your comments on this interface. 

We have found only 3 bug reports on bugzilla about GtkSourceMarker:

- http://bugzilla.gnome.org/show_bug.cgi?id=132525
- http://bugzilla.gnome.org/show_bug.cgi?id=132821
- http://bugzilla.gnome.org/show_bug.cgi?id=132784

This could mean that the API is good enough, or that the API is so bad
that no one is really using it. So, please, let we know your comments as
soon as possible so that we will be able to fix the API before the
GtkSourceView 2.0 release.

Ciao,
Paolo