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

Implement property completion. #93

Merged
merged 8 commits into from
Dec 10, 2023
Merged

Implement property completion. #93

merged 8 commits into from
Dec 10, 2023

Conversation

krymtkts
Copy link
Owner

resolve #19

@krymtkts krymtkts self-assigned this Dec 10, 2023
@krymtkts krymtkts added the enhancement New feature or request label Dec 10, 2023
@krymtkts krymtkts marked this pull request as ready for review December 10, 2023 10:37
krymtkts
krymtkts commented Dec 10, 2023
View reviewed changes
Copy link
Owner Author

@krymtkts krymtkts left a comment

Choose a reason for hiding this comment

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

LGTM

@krymtkts krymtkts merged commit bd579c4 into main Dec 10, 2023
3 checks passed
@krymtkts krymtkts deleted the feature/property-completion branch December 10, 2023 10:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@krymtkts krymtkts

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

autocomplete property in the query area
1 participant
@krymtkts