Build 79: gutter bar

Hello everyone,

The gutter bar is gradually becoming useful, but it still lacks one important property: it doesn't match the scrollbar. This worked right in IDEA: I could look at the gutter and see that the error markers above the scroll thumb showed errors above the window of code I was looking at, the markers within the scroll thumb showed errors that I could see right now, and so on. The Resharper error bar has a different height range than the scrollbar, so there is no such match.

--
Dmitry Jemerov
OmniaMea Project Leader
JetBrains, Inc.
http://www.jetbrains.com
"Develop with pleasure!"

1 comment
Comment actions Permalink

Dmitry,

thanks for your report. There are currently some cosmetic problems with
error gutter, we're working on getting them fixed.

"Dmitry Jemerov (JetBrains)" <yole@jetbrains.com> wrote in message
news:c6vfrn$j2b$1@is.intellij.net...

Hello everyone,

>

The gutter bar is gradually becoming useful, but it still lacks one

important property: it doesn't match the scrollbar. This worked right in
IDEA: I could look at the gutter and see that the error markers above the
scroll thumb showed errors above the window of code I was looking at, the
markers within the scroll thumb showed errors that I could see right now,
and so on. The Resharper error bar has a different height range than the
scrollbar, so there is no such match.
>

--
Dmitry Jemerov
OmniaMea Project Leader
JetBrains, Inc.
http://www.jetbrains.com
"Develop with pleasure!"



0

Please sign in to leave a comment.