Thomas: Nice demo. If I can't drag THAT, I fail :) All joking around
aside, that patch looks useful. Even if it's only in the config editor
(which is not necessarily easy to find for some newbies, I know) it's
still there and much more easily tweakable than theme XML. Thanks.
Kenneth: Absolutely.
I have this problem at work, where we use Ubuntu. That's a win for the
project, for sure!
I've used two different mice: one optical, one laser with adjustable
DPI; I've used several display resolutions from 1024x768 through
1600x1200; in no case was I satisfied with the size of the resize
handles
