suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

adjust default autosave delay to 30 seconds (down from 5 minutes)

Browse Source 
original commit: 8eafcaac4e253cea37c5edd9abc4c39aca561990
This commit is contained in:
Robby Findler 2013-11-08 10:19:36 -06:00
parent 12bb67f92a
commit c7410f766b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/gui-pkgs/gui-lib/framework/private/main.rkt
View File

@ -497,7 +497,7 @@
(cdr l))])))))
(preferences:set-default 'framework:autosave-delay 300 number?)
(preferences:set-default 'framework:autosave-delay 30 number?)
(preferences:set-default 'framework:autosaving-on? #t boolean?)
(preferences:set-default 'framework:backup-files? #t boolean?)
(preferences:set-default 'framework:verify-exit #t boolean?)