Skip to content

fix: periodically refresh semantic tokens#3691

Merged
mhuisi merged 3 commits intoleanprover:masterfrom mhuisi:mhuisi/semantic-highlighting-fixesMar 15, 2024

Commits

Commits on Mar 14, 2024

Commits on Mar 15, 2024