delete_history


Description:

[ HasEmitter ]
public signal void delete_history (string name)

The "delete-history" signal is emitted when we delete a history.

Parameters:

history

the name of the history we deleted