From c7410f766ba80b52b39ac1eae48736f8a9f24f25 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 8 Nov 2013 10:19:36 -0600 Subject: [PATCH] adjust default autosave delay to 30 seconds (down from 5 minutes) original commit: 8eafcaac4e253cea37c5edd9abc4c39aca561990 --- pkgs/gui-pkgs/gui-lib/framework/private/main.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/main.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/main.rkt index 5013f815..a8a79889 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/main.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/main.rkt @@ -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?)