Thank you Don, thank you David, I was convinced that there must be a simple solution at hand. A dummy widget!
It does work to my needs. Don's ScrollToolView is very interesting though not yet the right tool for my actual application, but I've got some more ideas for long winter nights ... All the best Volker -- http://mail.python.org/mailman/listinfo/python-list
