if the editor is out of sync with what programs see, probably copy the stuff from the editor, run refresh
in the terminal, wait for the editor to reconnect, then paste the copied stuff over what it shows
2 Likes
This topic was automatically closed 180 days after the last reply. New replies are no longer allowed.