On Friday, September 9, 2011, Grant Rettke <[email protected]> wrote:
> On Fri, Sep 9, 2011 at 10:04 AM, Sam Tobin-Hochstadt <[email protected]>
wrote:
>> I like this a lot (I'm one of the those people too).  It would be
>> great if either or both of clicking the "Jump to error" button or
>> clicking on the red highlighting enabled the highlighting of the
>> actual error.
>
> It would also be nice if hovering over the bar would show a popup with
> the actual issue. Again I use that feature in IntelliJ Idea; so I'm
> not dreaming this up myself.

The current issue is currently always visible in the bottom of the window,
no?

Robby
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/users

Reply via email to