diff --git a/gui-lib/framework/private/text.rkt b/gui-lib/framework/private/text.rkt index 6eb5ed1c..603fc33c 100644 --- a/gui-lib/framework/private/text.rkt +++ b/gui-lib/framework/private/text.rkt @@ -1268,7 +1268,7 @@ (when to-replace-highlight (unhighlight-replace))] [else - (define next (do-search (get-start-position) 'eof)) + (define next (do-search (get-start-position))) (begin-edit-sequence #t #f) (cond [(number? next)