From 1fa518f9d8a7caec43993cbb611ad50aaf6fe4be Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 16 Sep 2008 11:34:17 +0000 Subject: [PATCH] PR 9762 svn: r11776 --- collects/drscheme/private/debug.ss | 7 ++++--- collects/drscheme/tool-lib.ss | 2 +- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/collects/drscheme/private/debug.ss b/collects/drscheme/private/debug.ss index a17f0b9d47..de9ca92344 100644 --- a/collects/drscheme/private/debug.ss +++ b/collects/drscheme/private/debug.ss @@ -816,9 +816,10 @@ profile todo: (or (send editor get-filename) untitled)))) - ;; open-and-highlight-in-file : srcloc -> void - (define (open-and-highlight-in-file srclocs) - (let ([sources (filter values (map srcloc-source srclocs))]) + ;; open-and-highlight-in-file : (or/c srcloc (listof srcloc)) -> void + (define (open-and-highlight-in-file raw-srcloc) + (let* ([srclocs (if (srcloc? raw-srcloc) (list raw-srcloc) raw-srcloc)] + [sources (filter values (map srcloc-source srclocs))]) (unless (null? sources) (let* ([debug-source (car sources)] [same-src-srclocs diff --git a/collects/drscheme/tool-lib.ss b/collects/drscheme/tool-lib.ss index 6176ef56d7..fea6111376 100644 --- a/collects/drscheme/tool-lib.ss +++ b/collects/drscheme/tool-lib.ss @@ -382,7 +382,7 @@ all of the names in the tools library, for use defining keybindings (proc-doc/names drscheme:debug:open-and-highlight-in-file - (srcloc? . -> . void?) + ((or/c srcloc? (listof srcloc?)) . -> . void?) (debug-info) @{This function opens a DrScheme to display @scheme[debug-info]. Only the src the position