set_save_history


Description:

public void set_save_history (bool value)

Change the "save-history" setting

Parameters:

this

a Settings instance

value

whether to save or not the history