..
original commit: 45ab9205bdbae9608ba4eb32d0abb4abf4d3c33d
This commit is contained in:
parent
2e0e0a86b4
commit
0ac1f30c1b
|
@ -65,7 +65,7 @@
|
|||
(set! no-more-defaults? #t)
|
||||
(new timer%
|
||||
[notify-callback (lambda () (maybe-flush-changes))]
|
||||
[interval (* 5 1000)])
|
||||
[interval (* 10 1000)])
|
||||
(void))
|
||||
|
||||
(define last-time-read #f)
|
||||
|
|
|
@ -181,7 +181,7 @@
|
|||
save
|
||||
read
|
||||
restore-defaults
|
||||
start-writing-thread
|
||||
start-writing-timer
|
||||
|
||||
add-panel
|
||||
add-font-panel
|
||||
|
|
Loading…
Reference in New Issue
Block a user