set_close_on_select


Description:

public void set_close_on_select (bool value)

Change the "close-on-select" setting

Parameters:

this

a Settings instance

value

the new history name