GTK2.SourceBuffer delete_marker(GTK2.SourceMarker marker)
Deletes marker from the source buffer. The same conditions as for GTK2.TextMark apply here.