diff --git a/gui-lib/framework/private/frame.rkt b/gui-lib/framework/private/frame.rkt index 693b4d8e..9b3ba90b 100644 --- a/gui-lib/framework/private/frame.rkt +++ b/gui-lib/framework/private/frame.rkt @@ -2370,7 +2370,11 @@ (define/override (edit-menu:create-find-case-sensitive?) #t) (define/override (edit-menu:replace-all-callback menu evt) (replace-all) #t) - (define/override (edit-menu:replace-all-on-demand item) (send item enable (not hidden?))) + (define/override (edit-menu:replace-all-on-demand item) + (send item enable (and find-edit + (not (string=? (send find-edit get-text) "")) + (not hidden?) + replace-visible?))) (define/override (edit-menu:create-replace-all?) #t) (define/override make-root-area-container