Thanks!<br><br><div class="gmail_quote">On Tue, Dec 1, 2009 at 17:16, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">On Wed, Nov 25, 2009 at 9:39 AM, Laurent <<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>> wrote:<br>
> First, in order to rebind some keys defined for menus, the option<br>
> "keybindings in menus" in menu preferences/editing/general must be disabled<br>
> (for me, and it seems that this behavior is different for other people (?)).<br>
> My quick guess is that the menus keybindings are defined after "mykeys.ss"<br>
> file is loaded, which is not what I want.<br>
> This forces me to redefine some of the bindings of the menus by hand...<br>
<br>
</div>I've fixed drscheme so that user-defined keybindings override the menu<br>
keys (in SVN).<br></blockquote><div><br>great, that will solve many problems. <br><br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
#lang s-exp framework/keybinding-lang<br>
<br>
(define (get-frame obj)<br>
(cond<br>
[(is-a? obj editor<%>)<br>
(send (send obj get-canvas) get-top-level-window)]<br>
[else<br>
(send obj get-top-level-window)]))<br>
<br>
(keybinding "c:n" (λ (obj evt) (send (get-frame obj) open-in-new-tab #f)))<br></blockquote><div><br>I've been looking for that with no success...<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I think you might just need the ?: prefix to make things work (see the<br>
docs for map-function for more on that). This is a messy area that<br>
needs to be cleaned up at some point, but one of the above should be<br>
made to work. I don't have a windows machine (or a french keyboard!)<br>
to try these things out so I'm kind of stuck on this one.<br></blockquote><div><br>Ha, that is what "?:" is for, then. <br>I'll give feedback when I can.<br><br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Sorry for the delay in replying.<br></blockquote><div><br>No problem. My cornucopia cannot give me extra time either.<br><br>Laurent<br></div></div><br>