Skip to content

docs: Add features overview page#449

Merged
aviatesk merged 1 commit intomasterfrom
features-docs
Apr 28, 2026
Merged

docs: Add features overview page#449
aviatesk merged 1 commit intomasterfrom
features-docs

Conversation

@aviatesk
Copy link
Copy Markdown
Owner

@aviatesk aviatesk commented Jan 5, 2026

Add a new docs/src/features.md page that provides a visual overview of JETLS language server features with screenshots and descriptions.

The page covers:

  • Diagnostics (syntax errors, lowering errors, unused bindings, etc.)
  • Completion (global/local, method signatures, keyword arguments, LaTeX/emoji)
  • Signature help with type-based filtering
  • Go to definition and find references
  • Hover, document highlight
  • Refactoring (rename, code actions)
  • Formatting, TestRunner integration, notebook support
  • Roadmap section linking to GitHub and development notes

Also adds a brief "Features overview" section to index.md that links to the new features page.

@aviatesk aviatesk force-pushed the features-docs branch 6 times, most recently from 6cb7ce9 to c0e6d1e Compare January 10, 2026 12:58
@aviatesk aviatesk force-pushed the features-docs branch 5 times, most recently from 40f4425 to 6e51537 Compare April 20, 2026 08:09
@aviatesk aviatesk force-pushed the features-docs branch 6 times, most recently from b504287 to 34ba27c Compare April 28, 2026 06:34
@aviatesk aviatesk merged commit 448c7c8 into master Apr 28, 2026
2 checks passed
@aviatesk aviatesk deleted the features-docs branch April 28, 2026 07:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant