Ah, do you mean after an already-open doc has been changed by another doc open in another window?
Doesn’t the “Reload” menu command do what you’re describing?
Ah, do you mean after an already-open doc has been changed by another doc open in another window?
Doesn’t the “Reload” menu command do what you’re describing?
