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

[vscode] cleanup command names #699

Closed Alizter closed 5 months ago

Alizter commented 5 months ago

The main reason for keeping these names short is that they show up on Ctrl + P and >. There isn't much room in that menu for long command descriptions.

Alizter commented 5 months ago

For trim we could replace it with Coq LSP: Free memory

Alizter commented 5 months ago

I'll rebase

Alizter commented 5 months ago

@ejgallego I've rebased and tweaked the wording.

ejgallego commented 5 months ago

Thanks Ali, I will tweak the working to say "serialize and display in a new window", as the command now opens a new windows.