[racket-dev] [plt] Push #24974: master branch updated

Not to be a PITA, but the buttons are huge and if they are now always
there, we should be doing something different with the UI. The view
menu would be my first suggestion for where this should go.

Robby

On Wed, Jul 11, 2012 at 11:40 AM, Vincent St-Amour <stamourv at ccs.neu.edu> wrote:
> At Wed, 11 Jul 2012 09:37:19 -0700,
> Neil Toronto wrote:
>> On 07/11/2012 09:25 AM, stamourv at racket-lang.org wrote:
>> > 84feb38 Vincent St-Amour <stamourv at racket-lang.org> 2011-10-11 14:26
>> > :
>> > | Enable performance report no matter the language.
>> > :
>> >    M collects/typed-racket/optimizer/tool/tool.rkt | 21 +++++++++++++++++++--
>>
>> I can't tell from the overall diff. Does that also include student
>> languages?
>
> Oops, good point. It does.
>
> I'll see how the Macro Stepper avoids that problem, and do the same.
>
> Vincent
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev