Same file in multiple tabs
Open
- Dominant language
- Python
- Stars
- 3
- Forks
- 8
- PR merge metrics
- No merged PRs in 30d
Description
The same file can be loaded into multiple tabs. Opening an already loaded file should just switch to the appropriate tab.
Contributor guide
Assessment
This issue has not been assessed yet.