Looked at this. The solution is to put a real scrollbar there instead of the mousewheel event we are using currently. Putting a real scrollbar looks truly awful on Firefox on Windows. On Mac Safari (which has nice scrollbars) and customized Chrome scrollbars, this looks pretty good.
The code is there to fix it. It is just commented out right now.
Looked at this. The solution is to put a real scrollbar there instead of the mousewheel event we are using currently. Putting a real scrollbar looks truly awful on Firefox on Windows. On Mac Safari (which has nice scrollbars) and customized Chrome scrollbars, this looks pretty good.
The code is there to fix it. It is just commented out right now.