<div dir="ltr">This is probably a bug either in the on-demand handling or in the way that the framework uses it. It isn't supposed to be possible for you to write code that gets that wrong, I think.<div><br></div><div>
Specifically, in drracket/private/main.rkt, there is a call to group:add-to-windows-menu that sets up a callback that is supposed to be called whenever the menu is opened (the call happens via the update-windows-menu method in gui-lib/framework/private/group.rkt) and that code should always get those menus right.</div>
<div><br></div><div>I believe that there are some situations, due to the way eventspaces work and the way that racket/gui has to fight with ubuntu that makes creation of new menu items during an on-demand callback not work right and probably that shouldn't be happening there.</div>
<div><br></div><div>Probably the best thing is for you to do something like calling the update-windows-menu method of the frame group directly (something like the call you see in the on-demand callback in group.rkt) and then things will work and probably I need to adjust the framework code so that it calls that function itself directly when the state it depends on changes, instead of having it be called via on-demand.</div>
<div><br>Robby</div><div><br></div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Oct 11, 2013 at 12:44 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><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...<span class="HOEnZb"><font color="#888888"><br>
<br>Laurent<br><div><br></div></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: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><font color="#888888"><br>
<br></font></span></div><span><font color="#888888">Laurent<br></font></span></div><div><div><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>
</div></div></blockquote></div><br></div>