Module user_conf

defaults

Value:

{'autosave_interval': 180, 'default_pretty_print': False, 'default_system': 'sage', 'max_history_length': 500}