Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix issue with missing completions after comment and newline. #814
Previously, completions after a comment and newline would yield no results.
Now we remove the comment from the name that PC gives us and this causes us to get all completions.
This is connected to a presentation compiler bug that would include comment as a legal identifier. We will try to fix that inside the compiler - the implementation here might not be most efficient, but it only happens in case of comments.