<div dir="ltr"><div>&quot;Rename identifier&quot; at least, and also those like &quot;go to definition&quot;, &quot;open defining file&quot;, and maybe &quot;go to next/previous occurrence&quot;.<br><br></div>Thank you very much!<br>

Laurent<br></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">&lt;<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi, sorry for the delayed response. I&#39;ll push an additional keybinding (c:x;m for rename identifier). Which other ones are you missing?<div>

<br></div><div>Sorry I don&#39;t have any leads on why popup menus still aren&#39;t working.<span class="HOEnZb"><font color="#888888"><br>
<br>Robby</font></span><div><div class="h5"><br><br>On Thursday, April 18, 2013, Laurent  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><div><div><div>Didn&#39;t try, but if I disable syntax check, the tooltips don&#39;t show, so I guess it&#39;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">&lt;<a>robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br>




<blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc 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 -&gt; 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">&lt;<a>laurent.orseau@gmail.com</a>&gt;</span> wrote:<br>





<blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc 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">&lt;<a>robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br>




<blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">If you run &quot;gracket&quot; 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">&lt;<a>laurent.orseau@gmail.com</a>&gt;</span> wrote:<br>





<blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc 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">&lt;<a>neil.toronto@gmail.com</a>&gt;</span> wrote:<br>










<blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Could what you&#39;re experiencing have anything to do with tooltips? It seems my right-click menu doesn&#39;t stay up whenever there&#39;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:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>
Yea, I didn&#39;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&#39;d say no impact positive or<br>
negative.<br>
<br>
It seems to happen when there is additional drawing &#39;complexity&#39; 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 &#39;edge&#39; 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, &quot;Robby Findler&quot; &lt;<a>robby@eecs.northwestern.edu</a><br></div><div>
&lt;mailto:<a>robby@eecs.<u></u>northwestern.edu</a>&gt;&gt; wrote:<br>
<br>
    On Tue, Dec 4, 2012 at 6:11 PM, Stephen Chang &lt;<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>