From 9da1d9ca00b42a47059eb52cf708e965522c2834 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 11 May 2013 19:45:59 -0500 Subject: [PATCH] pkg-info-orig-info seems to also possibly be (cons 'file ...). --- collects/pkg/gui/by-installed.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/pkg/gui/by-installed.rkt b/collects/pkg/gui/by-installed.rkt index 7805415746..24704ffa72 100644 --- a/collects/pkg/gui/by-installed.rkt +++ b/collects/pkg/gui/by-installed.rkt @@ -163,6 +163,7 @@ (case (car s) [(catalog) "Catalog"] [(url) "URL"] - [(link) "Link"]) + [(link) "Link"] + [(file) "File"]) (cadr s)))) (adjust-buttons!))))