mark_deleted

Description:

public virtual signal void mark_deleted (TextMark mark)

Emitted as notification after a `GtkTextMark` is deleted.

See also: [method@Gtk.TextBuffer.delete_mark].

Parameters:

mark

The mark that was deleted