in reply to Question about how to implement user control over text box height
Thanks shmem, for the tip on Adjuster. I had never heard of this widget, but it appears to provide exactly the functionality I was looking for.