<div dir="ltr"><div><div><div>It's mostly working, except for a small display bug:<br></div>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.<br>

</div>I call `(update-menu-bindings)' at the end of the reordering.<br>Do I need to call some other updating procedure  beside that?<br><br></div>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...<br>

<br>Laurent<br><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Oct 3, 2013 at 6:16 PM, Laurent <span dir="ltr"><<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Thanks for the pointer and info, now I think I have a decent idea of how to do it (but later).<span class="HOEnZb"><font color="#888888"><br>

<br></font></span></div><span class="HOEnZb"><font color="#888888">Laurent<br></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Oct 3, 2013 at 6:03 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">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).<div>



<br></div><div>Robby</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote"><div><div>On Thu, Oct 3, 2013 at 10:50 AM, Laurent <span dir="ltr"><<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</a>></span> wrote:<br>



</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div><div dir="ltr"><div><div>Hi,<br><br>Is there a method somewhere to reorder tabs in DrRacket, like a `change-children' method?<br>



</div>I see a `get-tabs' method, but not a `set-tabs' one:<br><a href="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" target="_blank">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</a><br>





<br></div>Thanks,<br>Laurent<br></div>
<br></div></div>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>