Change Details

open two files in different directories, as well as a remote file. Switching between them and Tools>Synchronize Terminal with Current Document or in the Terminal Settings, check "Automatically synchronize the terminal with the current document when possible") Upon switching to the remote file, a blue message should appear at the top: "Terminal not synchronized with current document, because <document url path> is not a local file"

open two files in different directories, as well as a remote file. Switching between them and `Tools>Synchronize Terminal with Current Document` or in the Terminal Settings, check "Automatically synchronize the terminal with the current document when possible") Upon switching to the remote file, a blue message should appear at the top: ``` Terminal not synchronized with current document, because <document url path> is not a local file ```

open two files in different directories, as well as a remote file. Switching between them and `Tools>Synchronize Terminal with Current Document` or in the Terminal Settings, check "Automatically synchronize the terminal with the current document when possible") Upon switching to the remote file, a blue message should appear at the top: ``` " Terminal not synchronized with current document, because <document url path> is not a local file" ```