Searched refs:get_opt_autosave (Results 1 – 2 of 2) sorted by relevance
533 bool get_opt_autosave() const { return auto_save; } in get_opt_autosave() function
2127 if (!settings.get_options().get_opt_autosave()) { in save_state()