I assume Chaitin&#39;s constant is involved.<br><br><div class="gmail_quote">On Fri, May 11, 2012 at 3:22 PM, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
[How] does Xcode allow you to enter arbitrary computations in response to key events? I don&#39;t understand how one can list &quot;all possible actions&quot; since there are infinitely many? -- Matthias<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
<br>
On May 11, 2012, at 2:58 PM, Nick Shelley wrote:<br>
<br>
&gt; On the topic of key bindings, is there a reason this can&#39;t be done in the preferences menu? Xcode has a key bindings section in the preferences menu that has all possible actions on the left and the current bindings on the right, and you can just click on the current binding and change it to whatever you want. I think something like that would be nice in DrRacket, but I have no idea how hard it would be to implement.<br>

&gt;<br>
&gt; Maybe that&#39;s on the list of &quot;It would be nice, but...&quot;<br>
&gt;<br>
&gt; On Fri, May 11, 2012 at 6:14 AM, Robby Findler &lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt; wrote:<br>
&gt; Ah, good point. I&#39;ve added some example code to the docs that shows<br>
&gt; how to bind menu items. Here&#39;s the code.<br>
&gt;<br>
&gt; Robby<br>
&gt;<br>
&gt; #lang s-exp framework/keybinding-lang<br>
&gt;<br>
&gt; (define (menu-bind key menu-item)<br>
&gt; †(keybinding<br>
&gt; † key<br>
&gt; † (Ž (ed evt)<br>
&gt; † † (define canvas (send ed get-canvas))<br>
&gt; † † (when canvas<br>
&gt; † † † (define menu-bar (find-menu-bar canvas))<br>
&gt; † † † (when menu-bar<br>
&gt; † † † † (define item (find-item menu-bar menu-item))<br>
&gt; † † † † (when item<br>
&gt; † † † † † (define evt<br>
&gt; † † † † † † (new control-event%<br>
&gt; † † † † † † † † †[event-type &#39;menu]<br>
&gt; † † † † † † † † †[time-stamp<br>
&gt; † † † † † † † † † (send evt get-time-stamp)]))<br>
&gt; † † † † † (send item command evt)))))))<br>
&gt;<br>
&gt; (define/contract (find-menu-bar c)<br>
&gt; †(-&gt; (is-a?/c area&lt;%&gt;) (or/c #f (is-a?/c menu-bar%)))<br>
&gt; †(let loop ([c c])<br>
&gt; † †(cond<br>
&gt; † † †[(is-a? c frame%) (send c get-menu-bar)]<br>
&gt; † † †[(is-a? c area&lt;%&gt;) (loop (send c get-parent))]<br>
&gt; † † †[else #f])))<br>
&gt;<br>
&gt; (define/contract (find-item menu-bar label)<br>
&gt; †(-&gt; (is-a?/c menu-bar%)<br>
&gt; † † †string?<br>
&gt; † † †(or/c (is-a?/c selectable-menu-item&lt;%&gt;) #f))<br>
&gt; †(let loop ([o menu-bar])<br>
&gt; † †(cond<br>
&gt; † † †[(is-a? o selectable-menu-item&lt;%&gt;)<br>
&gt; † † † (and (equal? (send o get-plain-label) label)<br>
&gt; † † † † † †o)]<br>
&gt; † † †[(is-a? o menu-item-container&lt;%&gt;)<br>
&gt; † † † (for/or ([i (in-list (send o get-items))])<br>
&gt; † † † † (loop i))]<br>
&gt; † † †[else #f])))<br>
&gt;<br>
&gt; (menu-bind &quot;c:a&quot; &quot;Run&quot;)<br>
&gt;<br>
&gt;<br>
&gt; On Thu, May 10, 2012 at 8:22 PM, Ray Racine &lt;<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>&gt; wrote:<br>
&gt; &gt; I&#39;m caught in a bit of Catch-22. † From the doc.<br>
&gt; &gt;<br>
&gt; &gt; If you are most familiar with Emacs-style key bindings (especially on<br>
&gt; &gt; windows or some linux installations where the control key is, by default,<br>
&gt; &gt; for the menu shortcuts), you should uncheck the Enable keybindings in<br>
&gt; &gt; menus preference. Many of the keybindings below are inspired by Emacs.<br>
&gt; &gt;<br>
&gt; &gt; So I&#39;ve disabled keybindings in menu and thereby lose crtl-r Run and crtl-i<br>
&gt; &gt; Reindent. †I&#39;d like to re-bind but I&#39;ve as of yet been unable to locate what<br>
&gt; &gt; functions Run and Reindent correspond to.<br>
&gt; &gt;<br>
&gt; &gt; I totally missed the online check syntax option, which sounds like a very<br>
&gt; &gt; good thing. †In fact I&#39;m still totally missing it. :) †I just rechecked the<br>
&gt; &gt; menus/preferences. †Where is this mythic option found?<br>
&gt; &gt;<br>
&gt; &gt; Thanks<br>
&gt; &gt;<br>
&gt; &gt;<br>
&gt; &gt; On Thu, May 10, 2012 at 8:49 PM, Robby Findler &lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt;<br>
&gt; &gt; wrote:<br>
&gt; &gt;&gt;<br>
&gt; &gt;&gt; FWIW, run and reindent are already menu-key based shortcuts (r and i<br>
&gt; &gt;&gt; respectively) so they should be available already (unless you&#39;re on<br>
&gt; &gt;&gt; windows and you&#39;ve disabled menu keyboard shortcuts). For reindent you<br>
&gt; &gt;&gt; can hit tab, and DrRacket re-indents the line you&#39;re on or the<br>
&gt; &gt;&gt; selection (if it is more than one line). For check syntax, I recommend<br>
&gt; &gt;&gt; you enable online check syntax and then you don&#39;t have to hit any key<br>
&gt; &gt;&gt; at all to get that to work.<br>
&gt; &gt;&gt;<br>
&gt; &gt;&gt; hth,<br>
&gt; &gt;&gt; Robby<br>
&gt; &gt;&gt;<br>
&gt; &gt;&gt; On Thu, May 10, 2012 at 6:38 PM, Ray Racine &lt;<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>&gt; wrote:<br>
&gt; &gt;&gt; &gt; I&#39;m attempting this weekend to make the leap from my beloved Emacs and<br>
&gt; &gt;&gt; &gt; Geiser to DrRacket. † †Was wondering if anyone has a cool set of custom<br>
&gt; &gt;&gt; &gt; keybindings they&#39;d like to share.<br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt; Some I&#39;d like to get my hands on are:<br>
&gt; &gt;&gt; &gt; 1. binding for reindent / reindent all.<br>
&gt; &gt;&gt; &gt; 2. binding for Check Syntax button equivalent.<br>
&gt; &gt;&gt; &gt; 3. binding for Run button equivalent.<br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt; Three below I just pieced together.<br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt; ;; insert Ž<br>
&gt; &gt;&gt; &gt; (keybinding &quot;c:\\&quot; (Ž (editor evt) (send editor insert &quot;Ž&quot;)))<br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt; ;; close<br>
&gt; &gt;&gt; &gt; (keybinding &quot;c:q&quot; (Ž (editor evt)<br>
&gt; &gt;&gt; &gt; † † † † † † † † † † (send (send editor get-top-level-window)<br>
&gt; &gt;&gt; &gt; close-current-tab)))<br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt; ;; open a new tab<br>
&gt; &gt;&gt; &gt; (keybinding &quot;c:t&quot; (Ž (editor evt) (send (send editor<br>
&gt; &gt;&gt; &gt; get-top-level-window)<br>
&gt; &gt;&gt; &gt; create-new-tab))<br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;&gt; &gt; ____________________<br>
&gt; &gt;&gt; &gt; †Racket Users list:<br>
&gt; &gt;&gt; &gt; †<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
&gt; &gt;&gt; &gt;<br>
&gt; &gt;<br>
&gt; &gt;<br>
&gt;<br>
&gt; ____________________<br>
&gt; †Racket Users list:<br>
&gt; †<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
&gt;<br>
&gt; ____________________<br>
&gt; †Racket Users list:<br>
&gt; †<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br>
<br>
____________________<br>
 †Racket Users list:<br>
 †<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br>