settings
reset options
reset history