From a6b8d78b6200d6ff12c0e4593a14d24f27c0b06c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 25 Jul 2002 03:49:55 +0000 Subject: [PATCH] . original commit: 95a4f254596e60c76f0aaea3d04c0d9aecced43b --- collects/mred/mred.ss | 7 ++++++- notes/mred/HISTORY | 10 ++++++++++ 2 files changed, 16 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 765eec9f..4f4a88f1 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -6160,12 +6160,17 @@ (let ([the-snip snip]) (lambda (file line col ppos) (if (is-a? the-snip readable-snip<%>) + (with-handlers ([exn:special-comment? + (lambda (exn) + ;; implies "done" + (next-snip) + (raise exn))]) (let-values ([(val size done?) (send the-snip read-one-special pos file line col ppos)]) (if done? (next-snip) (set! pos (add1 pos))) - (values val size)) + (values val size))) (begin (next-snip) (values (send the-snip copy) 1)))))]))] diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index 20d624f4..55321c9e 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -1,4 +1,14 @@ +Version 200.3 + +Added 'unknown/mask and 'unknown/gif bitmap types and + get-loaded-mask and set-loaded-mask methods to bitmap%; + used for GIF files containing transparent pixels +Extended read-one-special in readable-snip<%> in parallel + to the exn:special-comment change for custom input ports +Added 'packages-ok style flag to get-file and get-directory; + affects only Mac OS + Version 200.1 New load handler, text-editor-load-handler, enables MrEd to