[racket] Reordering tabs in DrRacket

It's mostly working, except for a small display bug:
After reordering the tabs, the displayed numbers of each tab for
keybindings, like "1: MyFile.rkt" are not correctly updated, although the
shortcuts themselves seems to be updated.
I call `(update-menu-bindings)' at the end of the reordering.
Do I need to call some other updating procedure beside that?

The weird thing is that for `close-current-tab' it is correctly updated,
but I don't see what makes that happen in that procedure...

Laurent



On Thu, Oct 3, 2013 at 6:16 PM, Laurent <laurent.orseau at gmail.com> wrote:

> Thanks for the pointer and info, now I think I have a decent idea of how
> to do it (but later).
>
> Laurent
>
>
> On Thu, Oct 3, 2013 at 6:03 PM, Robby Findler <robby at eecs.northwestern.edu
> > wrote:
>
>> I don't believe there is one, but I think that it should work to provide
>> a 'reorder-tabs' method that, given some spec for a new order, adjusted the
>> 'tabs' field and the content of the tabs-panel gui control (in the
>> definition of frame-mixin in unit.rkt).
>>
>> Robby
>>
>>
>>
>> On Thu, Oct 3, 2013 at 10:50 AM, Laurent <laurent.orseau at gmail.com>wrote:
>>
>>> Hi,
>>>
>>> Is there a method somewhere to reorder tabs in DrRacket, like a
>>> `change-children' method?
>>> I see a `get-tabs' method, but not a `set-tabs' one:
>>>
>>> http://docs.racket-lang.org/tools/drracket_unit.html?q=get-tabs#%28meth._%28%28%28lib._drracket%2Ftool-lib..rkt%29._drracket~3aunit~3aframe~3c~25~3e%29._get-tabs%29%29
>>>
>>> Thanks,
>>> Laurent
>>>
>>> ____________________
>>>   Racket Users list:
>>>   http://lists.racket-lang.org/users
>>>
>>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20131011/fb0db5d7/attachment.html>