pyright/beginProgress
and pyright/reportProgress
#7890
Closed
InSyncWithFoo
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Am I missing something or these two non-standard notification types can be replaced by
$/progress
?Context: I'm getting some of the following log entries (in JetBrains IDEs) and, due to certain technical restrictions, I cannot handle arbitrary notifications:
Beta Was this translation helpful? Give feedback.
All reactions