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.

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

tele JB sync #41

Merged
merged 5 commits into from
Dec 19, 2023
Merged

tele JB sync #41

merged 5 commits into from
Dec 19, 2023

Conversation

valaises
Copy link
Member

No description provided.

@valaises valaises requested a review from reymondzzzz December 13, 2023 17:46
@olegklimov
Copy link
Contributor

olegklimov commented Dec 14, 2023

lsp.rs ->
    receive_workspace_changes.rs
    lsp.rs -- calls receive_workspace_changes::xxx()
lsp_handlers.rs -> lsp_like_handlers.rs -- calls receive_workspace_changes::xxx()

@valaises valaises requested review from olegklimov and removed request for reymondzzzz December 14, 2023 21:59
removed unuseful prints

WIP

WIP

added debug logs; minor
src/global_context.rs Outdated Show resolved Hide resolved
src/http/routers/v1/lsp_like_handlers.rs Outdated Show resolved Hide resolved
src/http/routers/v1/lsp_like_handlers.rs Outdated Show resolved Hide resolved
src/lsp.rs Outdated Show resolved Hide resolved


#[derive(Debug)]
pub struct Document {
Copy link
Member

Choose a reason for hiding this comment

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

why do u move Document here?

Copy link
Member Author

Choose a reason for hiding this comment

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

bc Document is not being used anywhere else but in receive_workspace_changes

@reymondzzzz reymondzzzz self-requested a review December 18, 2023 09:46
src/telemetry/utils.rs Outdated Show resolved Hide resolved
src/main.rs Outdated Show resolved Hide resolved
@valaises valaises requested a review from olegklimov December 18, 2023 16:41
@olegklimov olegklimov merged commit 4132002 into main Dec 19, 2023
9 checks passed
@olegklimov olegklimov deleted the dec13-tele-fix branch December 19, 2023 08:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants