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 <[email protected]> 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 <[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
