Add edoc_parse_enabled to config #1464
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
plux
force-pushed
the
config-disable-edoc
branch
from
5880021
to
cf8ba10
Compare
shuying2244
pushed a commit
to shuying2244/erlang_ls
that referenced
this pull request
Dec 30, 2023
Add config option to disable edoc parsing. Found that parsing some files took very long time to edoc parsewhich made completion break. Simple solution, add an option to disable the edoc parsing ifone runs into such issues.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Adds config option to disable edoc parsing.
Found that parsing some files took very long time to edoc parse which made completion break.
Simple solution, add an option to disable the edoc parsing if one runs into such issues.
For future consideration: Add a timeout for edoc parsing so it can be interrupted if it takes too long.