From 1c458d4d32f3099c1fe5dfad3a3d0e35b909b4d9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 11 Apr 2009 22:40:27 +0000 Subject: [PATCH] fix tab-paste bug and missing default for read-editor-version svn: r14493 original commit: 767d5dde3322ba1eec08654d59521ed1aab68976 --- collects/mred/private/wxme/editor.ss | 2 +- collects/mred/private/wxme/private.ss | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/wxme/editor.ss b/collects/mred/private/wxme/editor.ss index 8fdb73f8..5488a75c 100644 --- a/collects/mred/private/wxme/editor.ss +++ b/collects/mred/private/wxme/editor.ss @@ -1729,7 +1729,7 @@ v)))]) (equal? s MRED-READER+START-STR)))))) -(define (read-editor-version mf b parse-format? show-errors?) +(define (read-editor-version mf b parse-format? [show-errors? #t]) (and (or (not parse-format?) diff --git a/collects/mred/private/wxme/private.ss b/collects/mred/private/wxme/private.ss index 816cf7c2..672312a5 100644 --- a/collects/mred/private/wxme/private.ss +++ b/collects/mred/private/wxme/private.ss @@ -28,7 +28,8 @@ ;; snip-class% (define-local-member-name - get-s-required?) + get-s-required? + s-read) ;; editor-data% (define-local-member-name