Autogrow: Listen to the various you-have-become-visible events triggered by the various framework widgets and resize the textarea synchronously. Fixes #6365, fixes #509.