From d1ddc8372e81a45338ff30e036cfe45d9580ab8d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 17 Apr 2011 19:33:19 -0500 Subject: [PATCH] fixes the warning message so that if you close it once, then it stays closed until you click 'Run' again. closes PR 11783 --- collects/drracket/private/unit.rkt | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/collects/drracket/private/unit.rkt b/collects/drracket/private/unit.rkt index 1cf3de999c..bffd9b4cbf 100644 --- a/collects/drracket/private/unit.rkt +++ b/collects/drracket/private/unit.rkt @@ -684,9 +684,10 @@ module browser threading seems wrong. ;; returns the current warning message if "Run" should be clicked (ie, if the ;; state of the REPL is out of sync with drscheme). (define/public (get-needs-execution-message) - (or (and (not (this-and-next-language-the-same?)) - (string-constant needs-execute-language-changed)) - needs-execution-state)) + (and (not already-warned-state) + (or (and (not (this-and-next-language-the-same?)) + (string-constant needs-execute-language-changed)) + needs-execution-state))) (define/pubment (get-next-settings) next-settings) (define/pubment (set-next-settings _next-settings [update-prefs? #t]) @@ -1208,7 +1209,8 @@ module browser threading seems wrong. (define/public (get-current-execute-warning) current-execute-warning) (define/public (clear-execution-state) (set! current-execute-warning #f) - (update-execute-warning-gui)) + (update-execute-warning-gui) + (send defs already-warned)) (define/public (update-execute-warning-gui) (when (is-current-tab?) (send frame show/hide-warning-message