delete_mark_by_name

Description:

public void delete_mark_by_name (string name)

Deletes the mark named name; the mark must exist.

See delete_mark for details.

this	a TextBuffer
name	name of a mark in this