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. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
