show_history


Description:

public signal void show_history ()

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