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.

Parameters:

this

a TextBuffer

name

name of a mark in this