history_deleted


Description:

public signal void history_deleted (string history)

The "history-deleted" signal is emitted when a history is deleted.

Named for what happened rather than for the method that did it, the way the wire signal it carries is: a listing that only cares that the set changed has histories_changed, which this is always accompanied by.

Parameters:

history

the name of the history that was deleted