search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
152 stars 31 forks source link

[code] Workspace panel #123

Open ejgallego opened 1 year ago

ejgallego commented 1 year ago

Implement the basic workspace panel for code

TDiazT commented 1 year ago

What is this issue exactly?

Alizter commented 1 year ago

The idea is to have a panel which shows the open / processed files so that users can interactively click on them. I believe the idea is from Isabelle. It is unclear what exactly we want to replicate here.

ejgallego commented 1 year ago

The idea I have now is to have a panel where you can see the list of the theories in the workspace, and for each file you can get a visual update on their build status, and maybe even a summary; imagine a bar next to each file where red/yellow/green means how much of the file has been checked.

But indeed, this is issue is mostly about the UX design of such a panel, and IMHO very open for now.

Something the panel could host is buttons for "Save vo file for the current editor" and even "check the rest of the files against this version of the file", hence the visual output could provide clues as to how many rev deps are broken.