diff --git a/collects/mred/finder.ss b/collects/mred/finder.ss index 1820f8ac..03923827 100644 --- a/collects/mred/finder.ss +++ b/collects/mred/finder.ss @@ -88,10 +88,8 @@ file-filter-msg) (inherit new-line tab fit center - popup-menu) + popup-menu show) - (rename [super-show show]) - (private [WIDTH 500] [HEIGHT 400] @@ -177,14 +175,6 @@ (public - [show - (lambda (b) - (when b - (if (directory-exists? current-dir) - (set-directory current-dir) - (set-directory (current-directory)))) - (super-show b))] - [do-period-in/exclusion (lambda (button event) (mred:preferences:set-preference 'mred:show-periods-in-dirlist