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

On Wed, Jul 11, 2012 at 1:06 PM, Neil Toronto <neil.toronto at gmail.com> wrote:
> How about a tools drop-down?

> Or Online Optimization Coach???? (You can do
> it, Vincent!)

I had that same thought, actually: online check syntax is actually
factored into two parts. DrRacket provides an online expansion service
and plugins you can register two handlers, one to run in the place
where the expansion happened that is expected to produce a value to
send back to the main place where the other handler gets it and can
update the GUI.

Probably Vincent has fairly little work to break that up; I'd guess
the more substantial question will be how to reflect the information
into the GUI in a way that doesn't fight with the check syntax
information.

Robby

> Neil ⊥
>
>
> On 07/11/2012 10:47 AM, Robby Findler wrote:
>>
>> Well, how many of the things currently in the View menu are nify
>> tools? The module browser at least?
>>
>> We have too many buttons up there-- we need fewer. We need a more
>> scalable way to include these things.
>>
>> Check Syntax should go away (and it will when online check syntax is
>> done), for example.
>>
>> Robby
>>
>> On Wed, Jul 11, 2012 at 12:34 PM, Neil Toronto <neil.toronto at gmail.com>
>> wrote:
>>>
>>> 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
>>>
>>>
>>>
>>>
>
>