...the terminal would follow the frontmost open document, if the latter was saved to disk locally. Now it doesn't and I can't find the preference that would change it. (In previous versions it was as conspicuous as a goiter, to use a banal cliche.)
What happened?
Steve W