IDEs Support (IntelliJ Platform) | JetBrains

Alessio

Total activity 4
Last activity December 19, 2025 11:22
Member since October 04, 2020 10:56
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Created December 19, 2025 11:22

I've created a PR with proposed performance improvements at https://github.com/JetBrains/intellij-community/pull/3356
- 0 votes
Created October 06, 2020 07:36

Oh, I guess that issue is visible only to me then. In any case, this is the case that was created on YouTrack: https://youtrack.jetbrains.com/issue/PY-44803?_ga=2.242078978.1658792144.1601896315-89...
- 0 votes
Created October 06, 2020 06:09

See also https://intellij-support.jetbrains.com/hc/en-us/requests/2889478
- 0 votes