You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The MyPy plugin seems to run very slowly, perhaps blocking autocompletion and linting of other plugins.
Worst of all, unchecking the 'Live mode' option does not alleviate this problem.
Here is an overly compressed screencast (the editor UI looks laggy, which it isn't in real), demonstrating the problem.
Note that in the linter pane below, the code being linted is always several seconds out of date.
Even after the full expression has been written, the linter is still updating the code it is processing one character at a time, with many seconds in between.
We've updated some things with mypy, I think it should be faster now. But you are correct, it doesn't seem to be respecting the Live-Mode setting; I'm looking into it.
The MyPy plugin seems to run very slowly, perhaps blocking autocompletion and linting of other plugins.
Worst of all, unchecking the 'Live mode' option does not alleviate this problem.
Here is an overly compressed screencast (the editor UI looks laggy, which it isn't in real), demonstrating the problem.
Note that in the linter pane below, the code being linted is always several seconds out of date.
Even after the full expression has been written, the linter is still updating the code it is processing one character at a time, with many seconds in between.
Screencast.from.2024-04-19.13-03-22.webm
Installation details:
OS: Ubuntu 23.10
Pulsar: 1.109.0 (installed via nix-env)
Python (OS' installation): 3.11.6
Python packages:
The text was updated successfully, but these errors were encountered: