Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK2
GTK2.SourceBuffer

Method GTK2.SourceBuffer()->delete_marker()


Method delete_marker

GTK2.SourceBuffer delete_marker(GTK2.SourceMarker marker)

Description

Deletes marker from the source buffer. The same conditions as for GTK2.TextMark apply here.