Re double arrows... I'm using Tinker Tool and the only problem is not in Rev. Occasionally the bottom down-arrow doesn't work - this in any scrolling window. The upper down-arrow works fine, and the bottom up-arrow works as well.