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!))))