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 <[email protected]>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 <[email protected]> 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 >> >> >
____________________ Racket Users list: http://lists.racket-lang.org/users
