..
original commit: a43b63ff8d0452ba1469a70075aa8c8ed64f600f
This commit is contained in:
parent
60bf825cde
commit
e37ae09c1b
|
@ -63,7 +63,10 @@
|
||||||
;; periodically checks to see if changes need to be written out.
|
;; periodically checks to see if changes need to be written out.
|
||||||
(define (start-writing-timer)
|
(define (start-writing-timer)
|
||||||
(set! no-more-defaults? #t)
|
(set! no-more-defaults? #t)
|
||||||
(new timer%
|
;; don't actually start the timer anymore.
|
||||||
|
;; turns out that preferences are set far too often
|
||||||
|
;; and I need a better test for when things should be written out.
|
||||||
|
'(new timer%
|
||||||
[notify-callback (lambda () (maybe-flush-changes))]
|
[notify-callback (lambda () (maybe-flush-changes))]
|
||||||
[interval (* 10 1000)])
|
[interval (* 10 1000)])
|
||||||
(void))
|
(void))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user