improve the gui for specifying the submodules to run
This commit is contained in:
parent
033536e746
commit
4360e62c22
|
@ -600,7 +600,11 @@
|
||||||
(new separator-menu-item% [parent menu])
|
(new separator-menu-item% [parent menu])
|
||||||
(new menu-item%
|
(new menu-item%
|
||||||
[parent menu]
|
[parent menu]
|
||||||
[callback (λ (a b) (add-another-possible-submodule parent))]
|
[callback (λ (a b)
|
||||||
|
(define new-submod (add-another-possible-submodule parent))
|
||||||
|
(when new-submod
|
||||||
|
(set! submodules-to-run (cons new-submod submodules-to-run))
|
||||||
|
(sort-submodules-to-run!)))]
|
||||||
[label (string-constant add-submodule)]))
|
[label (string-constant add-submodule)]))
|
||||||
(super-new
|
(super-new
|
||||||
[font normal-control-font]
|
[font normal-control-font]
|
||||||
|
@ -813,10 +817,13 @@
|
||||||
(define submods
|
(define submods
|
||||||
(and msg
|
(and msg
|
||||||
(get-sexp msg)))
|
(get-sexp msg)))
|
||||||
(when submods
|
(cond
|
||||||
|
[submods
|
||||||
(preferences:set 'drracket:submodules-to-choose-from
|
(preferences:set 'drracket:submodules-to-choose-from
|
||||||
(append (preferences:get 'drracket:submodules-to-choose-from)
|
(append (preferences:get 'drracket:submodules-to-choose-from)
|
||||||
(list submods)))))
|
(list submods)))
|
||||||
|
submods]
|
||||||
|
[else #f]))
|
||||||
|
|
||||||
;; get-filename : port -> (union string #f)
|
;; get-filename : port -> (union string #f)
|
||||||
;; extracts the file the definitions window is being saved in, if any.
|
;; extracts the file the definitions window is being saved in, if any.
|
||||||
|
|
Loading…
Reference in New Issue
Block a user