From 98e06248b50ad35420970120fe70bb8ea7423f9c Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 28 Apr 2012 08:51:06 -0500
Subject: [PATCH] properly deal with menu shortcuts that are symbols (e.g.,
 'f1) in the "Show Active Keybindings" menu item

closes PR 12737

Thanks to Laurent Orseau for the fix!
---
 collects/drracket/private/frame.rkt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/collects/drracket/private/frame.rkt b/collects/drracket/private/frame.rkt
index 804b029068..030f7be056 100644
--- a/collects/drracket/private/frame.rkt
+++ b/collects/drracket/private/frame.rkt
@@ -63,7 +63,10 @@
                                  [(#\;) "semicolon"]
                                  [(#\:) "colon"]
                                  [(#\space) "space"]
-                                 [else (string short-cut)]))))])
+                                 [else 
+                                  (cond
+                                    [(symbol? short-cut) (symbol->string short-cut)]
+                                    [(char? short-cut) (string short-cut)])]))))])
                        (hash-set! name-ht keyname (send item get-plain-label))))))
                (when (is-a? item menu-item-container<%>)
                  (loop item)))