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