Add separator before Optimization Coach right-click menu entry.

2012-10-02 11:24:07 -04:00 · 2012-10-02 11:24:07 -04:00 · 937c901ce7
commit 937c901ce7
parent 69873c8db8
1 changed files with 1 additions and 0 deletions
--- a/collects/typed-racket/optimizer/tool/tool.rkt
+++ b/collects/typed-racket/optimizer/tool/tool.rkt
@ -162,6 +162,7 @@
               (match-define `(,start ,end ,popup-fun) h)
               (or new-item
                   (and (<= start pos end)
+                        (new separator-menu-item% [parent menu])
                        (new menu-item%
                             [label "Show Optimization Info"]
                             [parent menu]