From 6096b0de674d67fb3de09afb7a84386a2edea1a9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 4 Apr 2013 10:19:35 -0500 Subject: [PATCH] adjust the package installation menu item in drracket to use mrlib/terminal original commit: 8246d073c01e1eef73d2621f3993b22fa9ed24c3 --- collects/mrlib/terminal.rkt | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/collects/mrlib/terminal.rkt b/collects/mrlib/terminal.rkt index 1b341e59..21233562 100644 --- a/collects/mrlib/terminal.rkt +++ b/collects/mrlib/terminal.rkt @@ -22,7 +22,7 @@ ;; runs the installer in a separate thread and returns immediately, ;; before the installation is complete. The cleanup thunk is called when installation completes (define (in-terminal do-install - #:title [title "mrlib/terminal"] + #:title [title "mrlib/terminal"] #:abort-label [abort-label (string-constant plt-installer-abort-installation)] #:aborted-message [aborted-message (string-constant plt-installer-aborted)] #:cleanup-thunk [cleanup-thunk void]) @@ -104,7 +104,7 @@ void)) (define plain-style (send (editor:get-standard-style-list) find-named-style "Standard")) - (define red-delta (make-object style-delta%)) + (define red-delta (make-object style-delta% 'change-italic)) (send red-delta set-delta-foreground "red") (define error-style (send (editor:get-standard-style-list) find-or-create-style plain-style @@ -138,14 +138,16 @@ (lambda () (cleanup-thunk))))))))) - (parameterize ([current-output-port output-port] - [current-error-port error-port] - [exit-handler - (λ (x) - (unless (equal? x 0) - (eprintf "exited with code: ~s\n" x)) - (custodian-shutdown-all installer-cust))]) - (do-install inst-eventspace dlg)) + (let/ec k + (parameterize ([current-output-port output-port] + [current-error-port error-port] + [error-escape-handler (λ () (k (void)))] + [exit-handler + (λ (x) + (unless (equal? x 0) + (eprintf "exited with code: ~s\n" x)) + (custodian-shutdown-all installer-cust))]) + (do-install inst-eventspace dlg))) (parameterize ([current-eventspace orig-eventspace]) (queue-callback (lambda ()