mark_deleted

Description:

public virtual signal void mark_deleted (TextMark mark)

The mark_deleted signal is emitted as notification after a TextMark is deleted.

See also: delete_mark.

Parameters:

mark

The mark that was deleted