Extracted from Pike v8.0 release 164 as of 2018-07-18.
   

Method GTK2.SourceMarker()->get_marker_type()


Method get_marker_type

string get_marker_type()

Description

Gets the marker type of this marker.