I have nothing against making the scroll bar thumb disappear, when that seems like the right thing to do. It won't alter widths, so it won't cause any particular problem.
_______________________________________________ emacs-pretest-bug mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
