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.

Sign up for GitHub

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

Jump to bottom

Language extension fixes #1117

Merged
merged 1 commit into from
Mar 14, 2024
Merged

Language extension fixes #1117

merged 1 commit into from
Mar 14, 2024

Conversation

degory
Copy link
Owner

@degory degory commented Mar 14, 2024

Bugs fixed:

@degory
Language extension fixes
2b7cb1c 
Bugs fixed:
- Used symbols not always offered as completion options (closes #1115)
- Signature help sometimes omits some or all overloads (closes #1116)
@degory degory enabled auto-merge (squash) March 14, 2024 22:31
@degory degory merged commit 783acc3 into main Mar 14, 2024
12 checks passed
@degory degory mentioned this pull request Mar 15, 2024
Closed
@degory degory deleted the degory/used-symbol-completion-fix-1 branch March 15, 2024 11:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Signature help sometimes omits some or all overloads Used symbols not always offered as completion options
1 participant
@degory