empty_history


Description:

[ HasEmitter ]
public signal void empty_history (string name)

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

Parameters:

history

the name of the history we emptied