[racket] Reordering tabs in DrRacket

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/20131003/d622673f/attachment.html>