set_history_name


Description:

public void set_history_name (string value)

Change the "history-name" setting

Parameters:

this

a Settings instance

value

the new history name