On Friday, September 9, 2011, Grant Rettke <<a href="mailto:grettke@acm.org">grettke@acm.org</a>> wrote: > On Fri, Sep 9, 2011 at 10:04 AM, Sam Tobin-Hochstadt <<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a>> 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