diff --git a/collects/mred/private/editor.ss b/collects/mred/private/editor.ss index a3b13cb453..f5c4d3a7bf 100644 --- a/collects/mred/private/editor.ss +++ b/collects/mred/private/editor.ss @@ -358,7 +358,8 @@ [(x y) (sp x y 'standard #f #t)] [(x y z) (sp x y z #f #t)] [(x y z f) (sp x y z f #t)] - [(x y z f b?) (sp x y z f b?)]))] + [(x y z f b?) (sp x y z f b?)] + [(x y z f b? eps?) (sp x y z f b? eps?)]))] [on-new-box (entry-point