laike9m opened this issue 4 years ago · 0 comments
After #7 is implemented, this is the next step. Basically, the file to highlight is not always opened or focused in the editor, and we should be able to switch to or open the corresponding file, if it is not there.