Python Tkinter question: I would like the Canvas widget to resize itself when the toplevel is resized, but I can't find any examples of how to do this. The demo canvas-with-scrollbars.py doesn't do it ...