Ha, you probably meant "disabling" instead of enabling?<br>Indeed, that worked. Although now I have to rebind all the menu bindings ;)<br><br>But isn't there a way to simply override *some* of the menu bindings?<br> <br>Thanks,<br>Laurent<br><br><div class="gmail_quote">On Wed, Nov 25, 2009 at 11:20, Laurent <span dir="ltr"><<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</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;"> Thanks, but unfortunately it is already checked.<br>Maybe my callbacks are wrong (though no error is raised when trying the bindings).<br><font color="#888888"><br>Laurent</font><div><div></div><div class="h5"><br><br><div class="gmail_quote"> On Wed, Nov 25, 2009 at 10:54, Jos Koot <span dir="ltr"><<a href="mailto:jos.koot@telefonica.net" target="_blank">jos.koot@telefonica.net</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 bgcolor="#ffffff"> <div><font size="2" face="Courier New">Recently I had the same problem. I solved it by </font><font size="2" face="Courier New">enabling keybindings in menus.</font></div> <div><font size="2" face="Courier New">(in menu preferences/editing/general</font></div> <div><font size="2" face="Courier New"></font> </div><font color="#888888"> <div><font size="2" face="Courier New">Jos</font></div> </font><blockquote style="border-left: 2px solid rgb(0, 0, 0); padding-right: 0px; padding-left: 5px; margin-left: 5px; margin-right: 0px;"><div><div></div><div> <div style="font-family: arial; font-style: normal; font-variant: normal; font-weight: normal; font-size: 10pt; line-height: normal; font-size-adjust: none; font-stretch: normal;">----- Original Message ----- </div> <div style="background: rgb(228, 228, 228) none repeat scroll 0% 0%; -moz-background-clip: border; -moz-background-origin: padding; -moz-background-inline-policy: continuous; font-family: arial; font-style: normal; font-variant: normal; font-weight: normal; font-size: 10pt; line-height: normal; font-size-adjust: none; font-stretch: normal;"> <b>From:</b> <a title="laurent.orseau@gmail.com" href="mailto:laurent.orseau@gmail.com" target="_blank">Laurent</a> </div> <div style="font-family: arial; font-style: normal; font-variant: normal; font-weight: normal; font-size: 10pt; line-height: normal; font-size-adjust: none; font-stretch: normal;"><b>To:</b> <a title="xregis@gmail.com" href="mailto:xregis@gmail.com" target="_blank">Reginaldo J. S. Filho</a> </div> <div style="font-family: arial; font-style: normal; font-variant: normal; font-weight: normal; font-size: 10pt; line-height: normal; font-size-adjust: none; font-stretch: normal;"><b>Cc:</b> <a title="plt-scheme@list.cs.brown.edu" href="mailto:plt-scheme@list.cs.brown.edu" target="_blank">plt-scheme@list.cs.brown.edu</a> </div> <div style="font-family: arial; font-style: normal; font-variant: normal; font-weight: normal; font-size: 10pt; line-height: normal; font-size-adjust: none; font-stretch: normal;"><b>Sent:</b> Wednesday, November 25, 2009 10:38 AM</div> <div style="font-family: arial; font-style: normal; font-variant: normal; font-weight: normal; font-size: 10pt; line-height: normal; font-size-adjust: none; font-stretch: normal;"><b>Subject:</b> Re: [plt-scheme] Alt Gr + q not working in DrScheme</div> <div><br></div>Just a quick thought:<br>I think (I'm pretty sure in fact) AltGr is in fact Alt+Ctrl, so you might want to rebind m:c:q instead.<br><br>As for AltGr-c, could it be that this symbol has not been implanted/bound in DrScheme?<br><br>Btw, I also have troubles rebinding keys. Adding them works fine, but when the key already exists, it is not overridden (despite what the docs says).<br>Anyone has the same kind of problem?<br><br>Laurent<br><br> <div class="gmail_quote">On Tue, Nov 24, 2009 at 22:14, Reginaldo J. S. Filho <span dir="ltr"><<a href="mailto:xregis@gmail.com" target="_blank">xregis@gmail.com</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;">Actually, there was nothing bound to "m:q". I did make "m:q" a binding to <br><br>(lambda (editor event) (send editor insert "/"))<br><br>But this binds only the left-hand Alt key, not the right-hand one.<br><br>Does anyone knows how to bind a combination involving the right-hand AltGr key<br>to a command?<br><br>Thanks in advance,<br><br>Reginaldo<br><br>PS: even if this works, I still think is kind of a bug. Further evidence is the fact that<br>the combination "AltGr-c", which should insert the character "₢", is inserting "?". <br>All the other AltGr-related characters are working as expected in DrScheme, and <br>all combinations work as expected for every other Windows program I tried.<br><br> <div class="gmail_quote">2009/11/23 Sergey Lilo <span dir="ltr"><<a href="mailto:power.real@gmail.com" target="_blank">power.real@gmail.com</a>></span><br> <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> <div>Just rebind it?<br><br>2009/11/24 Reginaldo J. S. Filho <<a href="mailto:xregis@gmail.com" target="_blank">xregis@gmail.com</a>>:<br></div> <div> <div></div> <div> <div> <div></div> <div>> Hello,<br>><br>> I'm currently using DrScheme with an Asus Eee PC netbook, and my<br>> keyboard doesn't have a separate "/" key. The possible combinations to<br>> insert the "/" character should be "Fn + /" or "Alt Gr + q". The first<br>> works fine, but when I press "Alt Gr + q", DrScheme issues what looks<br>> like an "undo" command. Is this a bug or a feature? Does anyone knows<br>> how to make DrScheme insert a "/" when I press "Alt Gr + q?<br>><br>> Thanks in advance,<br>><br>> Reginaldo<br>><br></div></div></div></div> <div>> _________________________________________________<br>> For list-related administrative tasks:<br>> <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br>><br>><br></div></blockquote> </div><br><br>_________________________________________________<br> For list-related administrative tasks:<br> <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br><br></blockquote></div><br> </div></div><p> </p><hr><div> <p></p>_________________________________________________<br> For list-related administrative tasks:<br> <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br></div></blockquote></div> </blockquote></div><br> </div></div></blockquote></div><br>