remove non-existent files from the 'open recent' menu (but only when the file is selected)

2011-08-25 11:42:45 -05:00 · 2011-08-25 11:42:45 -05:00 · 9817820e4c
commit 9817820e4c
parent ecc058de4a
1 changed files with 3 additions and 0 deletions
--- 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))])))