I'm on 5.3.0.21 - haven't updated from the nightly build in a couple weeks. I'll grab a new version from the nightly builds soon and check again then. Cheers, Kieron. <div class="gmail_quote"> On Tue, Sep 18, 2012 at 10:30 AM, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> It is only in the pre-release. Possibly you're using 5.3? Robby On Tue, Sep 18, 2012 at 11:08 AM, Kieron Hardy <<a href="mailto:kieron.hardy@gmail.com">kieron.hardy@gmail.com</a>> wrote: > I'm not seeing this at all on Windows - how do I enable? > > Kieron. > > > On Mon, Sep 17, 2012 at 1:44 PM, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> <div class="im HOEnZb">> wrote: >> >> It will appear when the online check syntax finds some documentation >> for the identifier at the insertion point. If you edit the identifier, >> it will disappear (but it may reappear if you move onto another >> identifier it knows about). >> >> Generally speaking, it should match the contents of the blue boxes in >> the documentation (eg a function contract or a macro's grammar spec). >> </div><div class="HOEnZb"><div class="h5">>> Robby >> >> On Mon, Sep 17, 2012 at 2:25 PM, Prabhakar Ragde <<a href="mailto:plragde@uwaterloo.ca">plragde@uwaterloo.ca</a>> >> wrote: >> > Sorry if this is a dumb question. This small quarter-circle, with an >> > arrow >> > in it, appears from time to time, and then disappears. It contains some >> > links to documentation. I cannot tell what is causing it to appear and >> > what >> > causes it to disappear...? Thanks. --PR >> > ____________________ >> > Racket Users list: >> > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> >> ____________________ >> Racket Users list: >> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> > > </div></div></blockquote></div>