This is something that I manually adjust in the Wish code every time I upgrade Pd. It would be very nice to have it be a configurable setting in Preferences.

Phil Stone

Davis, CA