get_history_name


Description:

public unowned string get_history_name ()

Get the "history-name" setting

Parameters:

this

a Settings instance

Returns:

the value of the "history-name" setting