search

mozilla / scanjs

[DEPRECATED] Static analysis tool for javascript code.
Other
428 stars 38 forks source link

mouseover or click line number in results to change editor? #48

Closed mozfreddyb closed 10 years ago

mozfreddyb commented 10 years ago

I find the mouseover less intuitive than the click. The mouseover doesn't work very well once you have a big app with a lot of results, because you line number and editor are far away from each other.

Another thing I have noticed is that setCursor focuses the CodeMirror instance (for the highlighted line to be actually visible), but that means the whole web page scrolls up..which is also annoying for big pages.

Example screenshot (click to enlarge):

pauljt commented 10 years ago

100% agree. Needs to be fixed as part of figuring out a proper layout.

On 12 Mar 2014, at 5:52 pm, Frederik notifications@github.com wrote:

I find the mouseover less intuitive than the click. The mouseover doesn't work very well once you have a big app with a lot of results, because you line number and editor are far away from each other.

Another thing I have noticed is that setCursor focuses the CodeMirror instance (for the highlighted line to be actually visible), but that means the whole web page scrolls up..which is also annoying for big pages.

Example screenshot (click to enlarge):

— Reply to this email directly or view it on GitHub.