Changing the no-toolkit scrollbar thumb color. (minor issue)

[Rob Browning]

How hard might it be to add code to allow the user to change the
no-toolkit thumb color from black to something else?  A few people
have asked about it.  I'd be willing to see what I can come up with if
it wouldn't be undesirable, or too intrusive.

-- 
Rob Browning
rlb @defaultvalue.org and @debian.org; previously @cs.utexas.edu
GPG starting 2002-11-03 = 14DD 432F AE39 534D B592  F9A0 25C8 D377 8C7E 73A4