vdm-vscode icon indicating copy to clipboard operation
vdm-vscode copied to clipboard

CT View - (Maybe) Include one result view per workspace folder

Open jonaskrask opened this issue 3 years ago • 2 comments

Currently, we ask the user to select a workspace folder that should be shown in the CT View. Perhaps we should change this such that, each workspace folder has its own view/tab in the CT View container?

jonaskrask avatar Feb 02 '22 09:02 jonaskrask

With version 1.64 it is now possible to move views from the sidebar to a new sidepanel on the right side. So the entire CT view or just tabs from within the view can now be moved to the sidepanel. This could enable a greater flexibility with the view if we choose to let each workspace folder have its own tab in the CT view.

FrederikPM avatar Feb 10 '22 08:02 FrederikPM

This seems to require reworking parts of the CT logic as it is not possible to dynamically add tree-views to a view container as the views have to be specified in the package.json file. Thus, each workspace folder would have to be a node item in the current tree-view.

FrederikPM avatar Mar 23 '22 09:03 FrederikPM