From 4360e62c22436e2106ebb7ca5ccc61b453ae25f7 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 31 Mar 2012 22:46:44 -0500 Subject: [PATCH] improve the gui for specifying the submodules to run --- collects/drracket/private/module-language.rkt | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) diff --git a/collects/drracket/private/module-language.rkt b/collects/drracket/private/module-language.rkt index 8762e10709..99fa7fb5cb 100644 --- a/collects/drracket/private/module-language.rkt +++ b/collects/drracket/private/module-language.rkt @@ -600,7 +600,11 @@ (new separator-menu-item% [parent menu]) (new menu-item% [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)])) (super-new [font normal-control-font] @@ -813,10 +817,13 @@ (define submods (and msg (get-sexp msg))) - (when submods - (preferences:set 'drracket:submodules-to-choose-from - (append (preferences:get 'drracket:submodules-to-choose-from) - (list submods))))) + (cond + [submods + (preferences:set 'drracket:submodules-to-choose-from + (append (preferences:get 'drracket:submodules-to-choose-from) + (list submods))) + submods] + [else #f])) ;; get-filename : port -> (union string #f) ;; extracts the file the definitions window is being saved in, if any.