You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The path splitting logic assumes all paths will be separated with the system path separator, but on Windows, a tab whose path is a URL will still use the '/' separator even though local file paths use '\'.
A quick workaround is to change all the calls to .split() to use a regex, so they split on both characters; paths are still joined using the system path separator. A more robust solution could detect the path separator for each tab individually, using either the system separator or '/' for splitting and joining.
The text was updated successfully, but these errors were encountered:
The path splitting logic assumes all paths will be separated with the system path separator, but on Windows, a tab whose path is a URL will still use the '/' separator even though local file paths use '\'.
A quick workaround is to change all the calls to .split() to use a regex, so they split on both characters; paths are still joined using the system path separator. A more robust solution could detect the path separator for each tab individually, using either the system separator or '/' for splitting and joining.
The text was updated successfully, but these errors were encountered: