Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add texlab language server for latex #1922

Merged
merged 1 commit into from Apr 2, 2022

Conversation

gustafla
Copy link
Contributor

@gustafla gustafla commented Apr 2, 2022

Hi. I think texlab should be a default langage server for latex. Let me know if this PR needs more work/consideration, docs for example?

Copy link
Member

@archseer archseer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks fine! We previously didn't enable it because there were some issues but those got fixed after a refactor a few months ago #409

@kirawi
Copy link
Member

kirawi commented Apr 2, 2022

Can you run cargo xtask docgen and commit the changes?

diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md
index 34e65e4..[9](https://github.com/helix-editor/helix/runs/5796907536?check_suite_focus=true#step:8:9)c7dedb [10](https://github.com/helix-editor/helix/runs/5796907536?check_suite_focus=true#step:8:10)0644
--- a/book/src/generated/lang-support.md
+++ b/book/src/generated/lang-support.md
@@ -30,7 +30,7 @@
 | json | ✓ |  | ✓ |  |
 | julia | ✓ |  |  | `julia` |
 | kotlin | ✓ |  |  | `kotlin-language-server` |
-| latex | ✓ |  |  |  |
+| latex | ✓ |  |  | `texlab` |
 | lean | ✓ |  |  | `lean` |
 | ledger | ✓ |  |  |  |
 | llvm | ✓ | ✓ | ✓ |  |

@gustafla
Copy link
Contributor Author

gustafla commented Apr 2, 2022

Wow, that documentation generation task is awesome!

@the-mikedavis the-mikedavis merged commit e4561d1 into helix-editor:master Apr 2, 2022
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.

None yet

4 participants