Skip to content

[info] Hook completion call, fix still some issues with range. #41

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
Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[info] Hook completion call, fix still some issues with range. #41

wants to merge 1 commit into from

Conversation

@ejgallego
Copy link
Owner

No description provided.

@ejgallego ejgallego added this to the 0.1 milestone Oct 1, 2022
@ejgallego ejgallego force-pushed the info+completion branch 3 times, most recently from 3e08061 to 50dcc42 Compare October 6, 2022 17:34
@ejgallego ejgallego mentioned this pull request Oct 7, 2022
Open
@ejgallego ejgallego modified the milestones: 0.1.0, 0.1.1 Nov 16, 2022
@ejgallego ejgallego modified the milestones: 0.1.1, 0.1.2 Dec 22, 2022
@ejgallego ejgallego modified the milestones: 0.1.2, 0.1.3 Jan 4, 2023
@ejgallego ejgallego modified the milestones: 0.1.3, 0.1.4 Jan 11, 2023
@ejgallego ejgallego modified the milestones: 0.1.4, 0.1.5 Jan 20, 2023
@ejgallego ejgallego modified the milestones: 0.1.5, 0.1.6 Feb 6, 2023
@ejgallego ejgallego force-pushed the info+completion branch 2 times, most recently from 1524bc3 to 222751f Compare February 7, 2023 00:04
@ejgallego ejgallego mentioned this pull request Feb 15, 2023
Open
@ejgallego ejgallego modified the milestones: 0.1.6, 0.1.7, 0.1.8 Feb 17, 2023
@ejgallego ejgallego force-pushed the info+completion branch 2 times, most recently from b878259 to 166187a Compare March 1, 2023 03:09
@Alizter
Copy link
Collaborator

Alizter commented Mar 29, 2023

What should we do with this? Shall I review?

@ejgallego
Copy link
Owner Author

Needs progress @Alizter , the way we extract the information from the buffer needs to be more structured, as proposed in #368 for example.

Feel free to make progress on #368 tho

@ejgallego ejgallego modified the milestones: 0.1.8, 0.1.9 Jul 7, 2023
@ejgallego ejgallego force-pushed the info+completion branch 3 times, most recently from bcaa3bf to 4238a55 Compare November 22, 2023 00:41
@ejgallego ejgallego modified the milestones: 0.1.9, 0.1.10 Jan 20, 2024
@ejgallego ejgallego modified the milestones: 0.1.9.1, 0.2.0 May 31, 2024
@ejgallego ejgallego modified the milestones: 0.2.0, 0.3.0 Jun 7, 2024
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

needs: progress

Projects

coq-lsp roadmap
Status: In Progress

Milestone

0.3.0

Development

Successfully merging this pull request may close these issues.

3 participants

@ejgallego @Alizter