>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> You're in good company. But your patch works... for page down. Martin> Apparently it should be extended for cursorPrevious ;-) Yes, I mentioned that in my message. Should I apply it as-is or try to use metrics() instead of update()? Do we care? JMarc
