Skip to content

fix(lsp): show success hints on the introducing keyword of commands and tactics#1444

Open
ciaran-matthew-dunne wants to merge 4 commits into
Deducteam:masterfrom
ciaran-matthew-dunne:pr/lsp-success-hints
Open

fix(lsp): show success hints on the introducing keyword of commands and tactics#1444
ciaran-matthew-dunne wants to merge 4 commits into
Deducteam:masterfrom
ciaran-matthew-dunne:pr/lsp-success-hints

LSP: show command success hints on the introducing keyword

1e2e768
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test_compile (0, 1.3, 20250724.2154)
succeeded Jul 9, 2026 in 29s