From bf84b27007e7b476767dca0326593ac65460487c Mon Sep 17 00:00:00 2001 From: Rafal Chlodnicki Date: Mon, 4 Nov 2024 20:51:05 +0100 Subject: [PATCH] rename argumetn --- plugin/core/sessions.py | 4 ++-- plugin/session_buffer.py | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/plugin/core/sessions.py b/plugin/core/sessions.py index fb8603543..b4392348d 100644 --- a/plugin/core/sessions.py +++ b/plugin/core/sessions.py @@ -687,7 +687,7 @@ def remove_inlay_hint_phantom(self, phantom_uuid: str) -> None: ... def do_document_diagnostic_async( - self, view: sublime.View, version: int | None = ..., *, ignore_pending: bool = ... + self, view: sublime.View, version: int | None = ..., *, forced_update: bool = ... ) -> None: ... @@ -2072,7 +2072,7 @@ def m_workspace_diagnostic_refresh(self, params: None, request_id: Any) -> None: self.send_response(Response(request_id, None)) visible_session_views, not_visible_session_views = self.session_views_by_visibility() for sv in visible_session_views: - sv.session_buffer.do_document_diagnostic_async(sv.view, ignore_pending=True) + sv.session_buffer.do_document_diagnostic_async(sv.view, forced_update=True) for sv in not_visible_session_views: sv.session_buffer.set_document_diagnostic_pending_refresh() diff --git a/plugin/session_buffer.py b/plugin/session_buffer.py index 72e089932..aaa21fb60 100644 --- a/plugin/session_buffer.py +++ b/plugin/session_buffer.py @@ -488,7 +488,7 @@ def update_document_link(self, new_link: DocumentLink) -> None: # --- textDocument/diagnostic -------------------------------------------------------------------------------------- def do_document_diagnostic_async( - self, view: sublime.View, version: int | None = None, ignore_pending: bool = False + self, view: sublime.View, version: int | None = None, forced_update: bool = False ) -> None: mgr = self.session.manager() if not mgr or not self.has_capability("diagnosticProvider"): @@ -498,7 +498,7 @@ def do_document_diagnostic_async( if version is None: version = view.change_count() if self._document_diagnostic_pending_request: - if self._document_diagnostic_pending_request.version == version and not ignore_pending: + if self._document_diagnostic_pending_request.version == version and not forced_update: return self.session.cancel_request(self._document_diagnostic_pending_request.request_id) params: DocumentDiagnosticParams = {'textDocument': text_document_identifier(view)}