<div dir="ltr">I've pushed it this morning. This is the commit:<div><br></div><div> <a href="http://git.racket-lang.org/plt/commit/c9724446e6237778b770294410c94af8be954070">http://git.racket-lang.org/plt/commit/c9724446e6237778b770294410c94af8be954070</a><br>
<div><br></div><div style>Robby</div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, May 1, 2013 at 11:43 AM, 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>Thanks a lot!<br><br></div><div>Are they supposed to be available yet?<br></div><div>I can't make them work.<br>
</div><div>I tried<br> ["m:a" "jump to binding occurrence"] <br>
["m:w" ,(string-constant cs-jump-to-binding)]<br></div><div>in my existing keybinding file (that already contains things like ["c:x" "cut-clipboard"]), but it doesn't work.<span class="HOEnZb"><font color="#888888"><br>
</font></span></div><span class="HOEnZb"><font color="#888888"><div>
</div><div><br>Laurent<br></div></font></span></div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, May 1, 2013 at 2:20 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 think those are all there, but probably you didn't find them because they don't have quite the same name as the menu items (in the edit|keybindings|show active keybindings menu item). I've fixed that. And I also added tack/untack arrows. Here's the list from the source:<div>
<br></div><div><div> (send keymap map-function "c:x;b" (string-constant cs-jump-to-binding))</div><div> (send keymap map-function "c:x;n" (string-constant cs-jump-to-next-bound-occurrence))</div>
<div> (send keymap map-function "c:x;p" (string-constant cs-jump-to-previous-bound-occurrence))</div><div> (send keymap map-function "c:x;d" (string-constant cs-jump-to-definition))</div><div>
(send keymap map-function "c:x;m" (string-constant cs-rename-id))</div><div> (send keymap map-function "c:x;a" (string-constant cs-tack/untack-arrow))</div><span><font color="#888888"><div>
<br></div></font></span><div><span><font color="#888888">Robby</font></span><div><div><br><div class="gmail_extra">
<br><br><div class="gmail_quote">On Wed, May 1, 2013 at 3:14 AM, 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:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir="ltr"><div>"Rename identifier" at least, and also those like "go to definition", "open defining file", and maybe "go to next/previous occurrence".<br><br></div>Thank you very much!<span><font color="#888888"><br>
Laurent<br></font></span></div><div><div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, May 1, 2013 at 12:59 AM, 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:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Hi, sorry for the delayed response. I'll push an additional keybinding (c:x;m for rename identifier). Which other ones are you missing?<div>
<br></div><div>Sorry I don't have any leads on why popup menus still aren't working.<span><font color="#888888"><br>
<br>Robby</font></span><div><div><br><br>On Thursday, April 18, 2013, Laurent wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir="ltr"><div>
<div><div><div><div><div>Didn't try, but if I disable syntax check, the tooltips don't show, so I guess it's the same.<br>
</div>I correct my previous answer: disabling syntax-check helps a little, but the mouse pointer must not move during the whole click (which is quite difficult on my touchpad). <br>
</div>The menu stays longer, but still randomly disappears after some mouse moves.<br><br></div>Do you want me to try the patch anyway?<br><br></div>In case this bug is not resolved, would it be possible to have the same bindings in a regular window menu?<br>
</div>(Or at list could you tell me what the bindings are so that I can make a plugin script?)<br><br></div>Laurent<br></div><div><br><br><div>On Thu, Apr 18, 2013 at 2:39 PM, Robby Findler <span dir="ltr"><<a>robby@eecs.northwestern.edu</a>></span> wrote:<br>
<blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">This disables check syntax tooltips. Does that help?<div><br></div>
<div><div>--- a/collects/drracket/private/syncheck/gui.rkt</div>
<div>+++ b/collects/drracket/private/syncheck/gui.rkt</div><div>@@ -805,7 +805,7 @@ If the namespace does not, they are colored the unbound color.</div>
<div> </div><div> ;; syncheck:add-mouse-over-status : text pos-left pos-right string -> void</div><div> (define/public (syncheck:add-mouse-over-status text pos-left pos-right str)</div>
<div>- (when arrow-records</div><div>+ (when (and #f arrow-records)</div><div> (add-to-range/key text pos-left pos-right </div><div> (make-tooltip-info text pos-left pos-right str)</div>
<div> #f #f)))</div></div><div><br></div></div><div><div><div><br><br><div>On Thu, Apr 18, 2013 at 7:28 AM, Laurent <span dir="ltr"><<a>laurent.orseau@gmail.com</a>></span> wrote:<br>
<blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div>Yes, apparently.<br><br></div>In DrRacket, deactivating syntax check does not change the problem.<br>
</div><div><div><div><br><br><div>On Thu, Apr 18, 2013 at 1:52 PM, Robby Findler <span dir="ltr"><<a>robby@eecs.northwestern.edu</a>></span> wrote:<br>
<blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">If you run "gracket" does the right click menu work better there?<span><font color="#888888"><div>
<br></div><div>Robby</div></font></span></div><div><div><div><br><br><div>On Thu, Apr 18, 2013 at 6:45 AM, Laurent <span dir="ltr"><<a>laurent.orseau@gmail.com</a>></span> wrote:<br>
<blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div>Are there any news about that bug? I miss the right-click menu very much...<span><font color="#888888"><br>
<br></font></span></div><span><font color="#888888">Laurent<br></font></span></div><div><div><div><br><br><div>On Wed, Dec 5, 2012 at 5:30 AM, Neil Toronto <span dir="ltr"><<a>neil.toronto@gmail.com</a>></span> wrote:<br>
<blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Could what you're experiencing have anything to do with tooltips? It seems my right-click menu doesn't stay up whenever there's a tooltip out. Which is, like, every time I want it.<span><font color="#888888"><br>
<br>
Neil ⊥</font></span><div><br>
<br>
On 12/04/2012 07:55 PM, Ray Racine wrote:<br>
</div><blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div>
Yea, I didn't want to make a big deal out of it, but the up/down button<br>
change did not fix the issue. In fact I'd say no impact positive or<br>
negative.<br>
<br>
It seems to happen when there is additional drawing 'complexity' in<br>
co-occurrence with the pop up drawing area. I.e. the pop up menu is<br>
drawing where arrows are drawn or error highlighting is occurring etc.<br>
Also maybe when the pop up menu area is near the 'edge' of the Dr window<br>
and or pane area. But again the problem is not consistently<br>
reproducible yet happens more often then not. Its not a once in a blue<br>
moon that thing. Sometimes an attempt to right click pop up menu will<br>
fail numerous times in a row then succeed for no apparent reason.<br>
<br>
On Dec 4, 2012 9:07 PM, "Robby Findler" <<a>robby@eecs.northwestern.edu</a><br></div><div>
<mailto:<a>robby@eecs.<u></u>northwestern.edu</a>>> wrote:<br>
<br>
On Tue, Dec 4, 2012 at 6:11 PM, Stephen Chang <<a>stchang@ccs.neu.edu</a><br></div><div>
</div></blockquote></blockquote></div></div></div></div></blockquote></div></div></div></div></blockquote></div></div></div></div></blockquote></div></div></div></div></blockquote></div></div></blockquote></div></div>
</div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div></div></div></div></div></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>