Closed matthewkaney closed 11 months ago
If the user tries to open a file that's already open, don't open the file again, just move it to the active tab
There seems to be an outstanding bug with this where this process screws up editor state somehow and it throws an error
If the user tries to open a file that's already open, don't open the file again, just move it to the active tab