GUI package manager: remember selected DWIM file or directory

This commit is contained in:
Matthew Flatt 2014-11-25 12:01:49 -07:00
parent 84cb19d108
commit ae9e9dc5e2

View File

@ -74,13 +74,15 @@
[parent this]
[stretchable-height #f]))
(define (save-tf!)
(preferences:set 'drracket:gui-installer-pkg-source (send tf get-value)))
(define tf
(new text-field%
[parent source-panel]
[min-width 600]
[label (~a sc-install-pkg-source-label ":")]
[callback (λ (_1 _2)
(preferences:set 'drracket:gui-installer-pkg-source (send tf get-value))
(save-tf!)
(adjust-all))]))
(send tf set-value (or text-field-initial-value
(preferences:get 'drracket:gui-installer-pkg-source)))
@ -120,6 +122,7 @@
(if dir?
(path->directory-path f)
f))))
(save-tf!)
(adjust-all))))
(define browse-button (new button%
[parent source-panel]