I think it's a good idea, and will have a look at the FR thread - if I can find something I'll upvote it, if not I'll post one. I can usually find a pointing device to scroll with (I have three set up here, as I find if I use any one of them exclusively I start to have problems), and I appreciate the fact that it takes screen real estate to put a scroll bar on there, but as a user-selectable option - hey, it's
our screen real estate, right?