history_emptied


Description:

public signal void history_emptied (string history)

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

Parameters:

history

the name of the history that was emptied