..
original commit: 57b5034bb619304c4c295455604738a94f104192
This commit is contained in:
parent
8a61eecf38
commit
e9519256bf
|
@ -425,8 +425,18 @@
|
||||||
|
|
||||||
(define (make-preferences-dialog)
|
(define (make-preferences-dialog)
|
||||||
(letrec ([stashed-prefs (get-preference main-preferences-symbol (lambda () null))]
|
(letrec ([stashed-prefs (get-preference main-preferences-symbol (lambda () null))]
|
||||||
|
[frame-stashed-prefs%
|
||||||
|
(class frame:basic%
|
||||||
|
(rename [super-show show])
|
||||||
|
(define/override (show on?)
|
||||||
|
(when on?
|
||||||
|
(set! stashed-prefs
|
||||||
|
(get-preference main-preferences-symbol
|
||||||
|
(lambda () null))))
|
||||||
|
(super-show on?))
|
||||||
|
(super-instantiate ()))]
|
||||||
[frame
|
[frame
|
||||||
(make-object frame:basic%
|
(make-object frame-stashed-prefs%
|
||||||
(string-constant preferences))]
|
(string-constant preferences))]
|
||||||
[build-ppanel-tree
|
[build-ppanel-tree
|
||||||
(lambda (ppanel tab-panel single-panel)
|
(lambda (ppanel tab-panel single-panel)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user