Avoid unintended duplicate resource tabs

c squared b
Member Posts: 16 ✭✭
You might figure other implementations, but here are 2 possibilities:
- when opening a resource, provide the option to switch to a tab for that resource already open (web-browsers, like Safari use this feature),
- Have a conveniently located, alphabetized list of open resources, hyper-linked to their tabs.
2