[racket-dev] Revision to the Language Dialog

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Nov 6 21:27:29 EST 2012

Just to check: did you click on #lang racket when you had #lang racket
in the buffer already? I need to improve that case a little bit.

On Tue, Nov 6, 2012 at 7:40 PM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>
> Ouch. It satisfies the "gui design laws" so it passes this test.
> For an 'old timer' it doesn't truly work. Let's wait and see.
>
> -- Matthias
>
>
>
>
> On Nov 6, 2012, at 8:17 PM, Robby Findler wrote:
>
>> Okay, I've push something to try to deal with this.
>>
>> Robby
>>
>> On Tue, Nov 6, 2012 at 3:35 PM, Robby Findler
>> <robby at eecs.northwestern.edu> wrote:
>>> OH! I now get the confusion. Clicking on the teaching languages is the
>>> way one interacts with that part of the dialog but the #lang lines are
>>> just text and users of this thing will be completely confused by
>>> non-parallelism.
>>>
>>> Duh!
>>>
>>> Hm.
>>>
>>> Robby
>>>
>>> On Tue, Nov 6, 2012 at 2:24 PM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>>>>
>>>> +1
>>>>
>>>> Thank you for the experiment. I am coming to two conclusions:
>>>> -- I think we're closer to getting it right
>>>> -- I am beginning to think we dont' ever wish to abolish it.
>>>>
>>>>
>>>>
>>>>
>>>> On Nov 6, 2012, at 3:09 PM, Asumu Takikawa wrote:
>>>>
>>>>> On 2012-11-06 14:03:50 -0600, Robby Findler wrote:
>>>>>> The "docs" links are meant to all be clickable (and I can certainly
>>>>>> underline them). What were you expecting, exactly?
>>>>>>
>>>>>> I prefer not to make clicking on the "#lang .." part edit the
>>>>>> definitions window; I think copy and paste is probably clearer to the
>>>>>> user.
>>>>>
>>>>> I didn't actually expect the '#lang ...' to change anything, but I could
>>>>> imagine thinking that it did and being confused. Similarly, it might not
>>>>> be obvious that the teaching languages are clickable without some visual
>>>>> distinction.
>>>>>
>>>>> Cheers,
>>>>> Asumu
>>>>
>

Posted on the dev mailing list.