reset_history_name


Description:

public void reset_history_name ()

Reset the "history-name" setting

Parameters:

this

a Settings instance