Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK2
GTK2.SourceMarker

Methods
 get_buffer()
 get_line()
 get_marker_type()
 get_name()
 next()
 prev()
 set_marker_type()
previousGTK2.SourceLanguagesManager()->get_language_from_name()
GTK2.SourceMarker()->get_buffer()next

Class GTK2.SourceMarker