From 937c901ce78d869c3339efbeaab295ce54e8e365 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 2 Oct 2012 11:24:07 -0400 Subject: [PATCH] Add separator before Optimization Coach right-click menu entry. --- collects/typed-racket/optimizer/tool/tool.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt index f9ab8f2d71..b9bb702df0 100644 --- 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]