Prev
GtkSourceMarker::get_marker_type
Next
GtkSourceMarker::get_marker_type
void get_marker_type();