Extracted from Pike v7.8 release 866 at 2014-08-04.
pike.ida.liu.se
[Top]
GTK2
GTK2.SourceMarker

Method GTK2.SourceMarker()->set_marker_type()


Method set_marker_type

GTK2.SourceMarker set_marker_type(string type)

Description

Not documented.