[plt-translators] english-string-constants.rkt update

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Jul 18 08:10:15 EDT 2012

These are in tooltips that hover over contracts.

Robby

On Wed, Jul 18, 2012 at 7:09 AM, Philippe Meunier <meunier at ccs.neu.edu> wrote:
> commit 3b5eb1da41a319aa5d600756d42d1369095e752f
> Author: Robby Findler <robby at racket-lang.org>
> Date:   Tue Jul 17 13:45:33 2012 -0500
>
>     add a View menu item for the optimization coach
>
> commit 3463f4233e2d34026f2adae5f47437da7ebfa8e9
> Author: Robby Findler <robby at racket-lang.org>
> Date:   Tue Jul 17 11:48:50 2012 -0500
>
>     adjust the contract obligation aspect of check syntax
>     so that it uses tooltips instead of the modes
>
>     (so hopefully now people will actually see it ...)
> ============================================================
> diff --git a/collects/string-constants/private/english-string-constants.rkt b/collects/string-constants/private/english-string-constants.rkt
> index d6d6bc3..e9915d9 100644
> --- a/collects/string-constants/private/english-string-constants.rkt
> +++ b/collects/string-constants/private/english-string-constants.rkt
> @@ -212,6 +212,11 @@ please adhere to these guidelines:
>   (cs-unused-require "unused require")
>   (cs-free-variable "free variable")
>
> +  (cs-contract-my-obligation "Contract: this module's obligation")
> +  (cs-contract-their-obligation "Contract: clients modules' obligation")
> +  (cs-contract-both-obligation "Contract: both this module and client modules' obligation")
> +  (cs-contract-unk-obligation "Contract: unknown obligation")
> +
>    ;; mode sub-menu in the "view" menu
>    (cs-check-syntax-mode "Check Syntax Mode")
>    (cs-mode-menu-show-my-obligations "My Contract Obligations")
> @@ -1652,5 +1657,9 @@ please adhere to these guidelines:
>    (ask-about-normalizing-strings "Ask about normalizing strings")
>
>    (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")
>
>    )
>
> __________________________
>   Racket Translators list:
>   http://lists.racket-lang.org/translators


Posted on the translators mailing list.