On Mon, 11 Feb 2002 21:38:57 +0100, Cristalle Azundris Sabon said:
Personally, I've found that moving the scrollbars outwards
till
they touch the borders (provided by the window manager), leaving
no padding between those borders and the scrollbars.
Umm.. huh? This didn't parse very well?
This is necessary if the window is resized in multiples of
characters rather than pixels, and the scrollbar's with is
not a multiple of a char's width (same for height).
What about proportional-spaced fonts?
--
Valdis Kletnieks
Computer Systems Senior Engineer
Virginia Tech