title: Python3: How to dynamically resize button text in tkinter/ttk?
body: <p>I want to know how to arrange for the text on a ttk widget (a label or button, say) to resize automatically.</p>
  
  <p>Changing the size of the text is easy, it is just a matter of changing the font in the style. However, hooking it into changes in the size of the window is a little more tricky. Looking on the web I found some hints, but there was nowhere a complete answer was posted. </p>
  
  <p>So, here below is a complete working example posted as an answer to my own question. I hope someone finds it useful. If anyone has further improvements to suggest, I will be delighted to see them!</p>