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

I would hate to hide a nifty new tool away in a menu item.

How about using narrower text on the button? It doesn't have to be the 
same as the GUI's title text.

By analogy, a tool has two kinds of icons: a logo and a toolbar icon. In 
general, a logo is memorable, possibly abstract, and indicates what the 
tool *is*. (For example, the steppers' logos are feet.) A toolbar icon 
indicates what the tool *does* when you click the icon. The GUI's title 
and the toolbar text can have the same is/does distinction.

Another option is to split the toolbar into two parts. Or have two 
dockable toolbars. I know that's more work for Robby... :D

Neil ⊥

On 07/11/2012 10:03 AM, Robby Findler wrote:
> 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