search

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

POG view for project #225

Open leouk opened 2 hours ago

leouk commented 2 hours ago

For project with multiple modules (E.g. 150+!), having to run the POG per module is quite tedious. I can run on "all modules" if they are within a directory, but not if the project has a single dir structure.

I found out later I could select multiple modules and ask for POG. Again, when dealing with multiple modules this is tedious / error prone. I;d suggest having a "project wide" (e.g. on the top-level item on the tree view) to do a "POG all" type thing.

nickbattle commented 2 hours ago

You should get an "all modules" behaviour if you right-click on the project title, or in "blank space" (below all projects) when a given project is open. Does this not work?

nickbattle commented 2 hours ago

PS. You can multi-select files/folders by clicking one, scrolling down, and SHIFT-clicking the 2nd. Everything between the two gets selected. That might help?

nickbattle commented 1 hour ago

Hmmm... but checking the protocol, you are only allowed to send at most one file. This can be a subfolder, in which case everything (deep) below there will be processed; or it can be a single file. If you select multiple files, you just get the first one you selected. If nothing is selected, you get all POs; if you use the context menu on an open file, you get just that file's POs.