Extracted from Pike v8.0 release 276 as of 2016-07-29.
   

Method GTK2.SourceMarker()->get_marker_type()


Method get_marker_type

string get_marker_type()

Description

Gets the marker type of this marker.