Closed f1ames closed 1 year ago
This is managed by SARIF extension, so it may require changes there. Or maybe it can be changed through
workspace.tabGroups
API somehow.
VSCode API only exposes tabs as readonly so this will need changes on SARIF extension.
The name of a SARIF tab, when opened from Monokle extension, should be more meaningful than it is now:
This is managed by SARIF extension, so it may require changes there. Or maybe it can be changed through
workspace.tabGroups
API somehow.