From 9d566a00f4311d14373f8722f19f837b470b8005 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 20 Jul 2012 10:44:48 -0400 Subject: [PATCH] Rename Optimization Coach menu item. (cherry picked from commit def96496880578a79ceb4822486b0f1c05aaa29b) --- .../string-constants/private/english-string-constants.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/string-constants/private/english-string-constants.rkt b/collects/string-constants/private/english-string-constants.rkt index e9915d96a0..9ed37dc177 100644 --- a/collects/string-constants/private/english-string-constants.rkt +++ b/collects/string-constants/private/english-string-constants.rkt @@ -1659,7 +1659,7 @@ please adhere to these guidelines: (always-use-platform-specific-linefeed-convention "Always use the platform-specific linefeed convention") ;; optimization coach - (hide-optimization-coach "Hide Optimization Coach Info") - (show-optimization-coach "Show Optimization Coach Info") + (hide-optimization-coach "Hide Optimization Coach") + (show-optimization-coach "Show Optimization Coach") )