mark_deleted


Description:

public virtual signal void mark_deleted (TextMark mark)

Emitted as notification after a `GtkTextMark` is deleted.

See also: [[email protected]_mark].

Parameters:

mark

The mark that was deleted




2022 vala-language.org