From a8ce7a4346341db3e3b27bb8b8160ed8918ee9d2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 25 Aug 2011 11:42:45 -0500 Subject: [PATCH] remove non-existent files from the 'open recent' menu (but only when the file is selected) original commit: 9817820e4ce55d1e8f07653ec14e6c672c3fbb92 --- collects/framework/private/handler.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/framework/private/handler.rkt b/collects/framework/private/handler.rkt index 12aab4c6..3c06dfa5 100644 --- a/collects/framework/private/handler.rkt +++ b/collects/framework/private/handler.rkt @@ -231,6 +231,9 @@ (when (equal? (send ed get-filename) filename) (send ed set-position start end)))))] [else + (preferences:set 'framework:recently-opened-files/pos + (remove recent-list-item + (preferences:get 'framework:recently-opened-files/pos))) (message-box (string-constant error) (format (string-constant cannot-open-because-dne) filename))])))