Extracted from Pike v7.8 release 352 at 2012-09-09.
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.