[plt-dev] language dialog

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Jan 29 10:57:31 EST 2010

On Fri, Jan 29, 2010 at 9:51 AM, Eli Barzilay <eli at barzilay.org> wrote:
> On Jan 29, Robby Findler wrote:
>> On Fri, Jan 29, 2010 at 9:48 AM, Eli Barzilay <eli at barzilay.org> wrote:
>> > On Jan 29, Robby Findler wrote:
>> >> On Fri, Jan 29, 2010 at 9:46 AM, Eli Barzilay <eli at barzilay.org> wrote:
>> >> > On Jan 29, Robby Findler wrote:
>> >> >> My impression is that this is something the OS deals with
>> >> >> (each in its own way), and so shouldn't be done at the
>> >> >> DrScheme level.
>> >> >
>> >> > (That's definitely not something that I've seen other
>> >> > applications do...)
>> >>
>> >> Right. The OS does it, not applications. This is definitely what
>> >> happens on the mac; there is a whole bunch of keyboard navigation
>> >> stuff that is even configurable (and not on by default).
>> >
>> > But I'm on X, which means that it's all mred.
>>
>> Well, not a project I'm really willing to take on at this point.
>>
>> And are we sure that something like ubuntu doesn't have support for
>> this?
>
> I'm not sure what "this" refers to,

"this" refers to keyboard shortcuts for radio buttons. The thing
you're asking me to implement.

> but at least with the current
> state of mred, all interactions are an explicit part of mred code so
> there's nothing that could help there.  Things like gtk are just not
> used.

Perhaps Matthew is willing to add this stuff to mred v1, but I suspect
he'll tell you to just wait for mred v2.

I guess I can try doing something simple. How about making the down
arrow key move the focus back down into the hier-list, selecting the
first thing and making the up arrow key move the focus back down into
the hier-list, selecting the last thing. As far as getting outside of
the hier-list, up from the topmost entry could move the radio button
selection and down from the bottom-most could move the radio button
selection too.

Robby


Posted on the dev mailing list.