<html><head/><body><html><head></head><body>I&#39;m curious what the objectionable distraction is: the mere presence of the arrow, or the action of the arrow&#39;s window with contract info popping in and out as you mouse over identifiers?<br>
<br>
If it&#39;s the latter, than perhaps it would help to just put more of a delay (as tooltips have) in before exposing the contract info.  (I&#39;m trying to figure out why *I* haven&#39;t found it a distraction, and maybe it&#39;s just because I don&#39;t use the mouse very much.)<br>
<br>
Best,<br>
jmj <br>
-- <br>
Sent from my Android phone with K-9 Mail.<br><br><div class="gmail_quote">Grant Rettke &lt;grettke@acm.org&gt; wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<pre style="white-space: pre-wrap; word-wrap:break-word; font-family: monospace; margin-top: 0px">On Wed, Nov 21, 2012 at 6:29 PM, Nadeem Abdul Hamid &lt;nadeem@acm.org&gt; wrote:<br /><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #729fcf; padding-left: 1ex;">On Wed, Nov 21, 2012 at 7:21 PM, Grant Rettke &lt;grettke@acm.org&gt; wrote:<br /><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #ad7fa8; padding-left: 1ex;">You are an accomplished programmer that got this far without online<br />compilation that was added this year?<br /></blockquote>Well, I don't know about others, but prior to that becoming available, I<br />would often have to keep hitting the "Check syntax" button or key command<br />manually. Online compilation is just DrRacket continuously running "Check<br />Syntax" for you so you don't have to manually do that - and it *is* very<br />convenient and smoothes out the development
process, reducing a distraction<br />that is otherwise present.</blockquote><br />Maybe this would help, I have only used Check Syntax two or three<br />times ever when I wanted to rename a variable because it was used in<br />more than 5 places. What other problems does it solve?<br /><br /><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #729fcf; padding-left: 1ex;">Other industrial-strength IDEs (e.g. Eclipse, MS<br />VS, IBM's Java Visual-something- I forget the name) all provide this feature<br />of continuous background syntax analysis to enable various types of<br />refactorings and code navigation.</blockquote><br />Yea that is nice. My original question was about how to remove the<br />arrows and the thing in the upper right hand corner, and the solution<br />was to disable online compilation. Is there way just to remove that<br />stuff but keep the online compilation stuff?<br /><br /><blockquote class="gmail_quote" style="margin:
0pt 0pt 1ex 0.8ex; border-left: 1px solid #729fcf; padding-left: 1ex;">Another nice thing about online<br />compilation is the additional feature of being able to view snippets of<br />function signatures (i.e. help) right in the corner of the editor.</blockquote><br />That arrow is so distracting. Can we move it into the status line on the bottom?<br /><br />Thanks for explaining why you value it.<br />____________________<br />Racket Users list:<br /><a href="http://lists.racket-lang.org/users">http://lists.racket-lang.org/users</a><br /></pre></blockquote></div></body></html></body></html>