switch_history


Description:

[ HasEmitter ]
public signal void switch_history (string name)

The "switch-history" signal is emitted when we switch from a history to another.

Parameters:

history

the name of the history we switch to