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

From: Jon Rafkind (rafkind at cs.utah.edu)
Date: Sun Apr 10 22:41:45 EDT 2011

On 04/10/2011 08:34 PM, Robby Findler wrote:
> On Sun, Apr 10, 2011 at 9:24 PM, Jon Rafkind <rafkind at cs.utah.edu> wrote:
>> If I cilck on the line:column thing in the toolbar area next to the gc
>> icon it and select 'show line and column numbers' then the line:column
>> becomes hidden. If I then click in the same area to bring up the popup I
>> see that 'show line and column numbers' is still selected and clicking
>> it does not bring back the line:column display.
> That's because the focus is no longer on an editor, but on that thing
> you clicked on.
> Probably I should make the focus go back where it was (I think that
> information's there).

Ah, if I click on the interactions pane after changing the line:column
display then the line:column/character-offset display properly updates.
So yes, updating the focus sounds like the right thing.

Posted on the dev mailing list.