IDEs Support (IntelliJ Platform) | JetBrains

Alr888rav

Total activity 3
Last activity July 28, 2023 10:22
Member since July 28, 2023 10:21
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 1

Created July 28, 2023 10:21

I know it is about phpstorm, but another IDEs have the same bug. The only way you can change theme is Setting - Editor - Color Scheme. It changes global theme too.
- 0 votes