From f24b08347d866237400114f4f065fac72b0fc0de Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 14 Mar 1998 22:17:36 +0000
Subject: [PATCH] fixed bugs in printing snips and gray highlighting of old
 interactions

original commit: b35c6cd26de9afe708c5aa5af1b3e55c85ee088a
---
 collects/mred/keys.ss | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/collects/mred/keys.ss b/collects/mred/keys.ss
index b0dfade3..65199b0f 100644
--- a/collects/mred/keys.ss
+++ b/collects/mred/keys.ss
@@ -93,6 +93,8 @@
 	     (map "c:g" "find-string")
 	     (map "c:i" "toggle-search-focus")]
 	    [(macintosh)
+	     (map "c:s" "move-to-search-or-search")
+	     (map "c:g" "hide-search")
 	     (map "d:f" "move-to-search-or-search")
 	     (map "d:r" "move-to-search-or-reverse-search")
 	     (map "d:g" "find-string")