IDEs Support (IntelliJ Platform) | JetBrains

Lorenz Hoffmann

Total activity 19
Last activity July 12, 2022 12:30
Member since March 13, 2021 14:59
Following 0 users
Followed by 0 users
Votes 2
Subscriptions 4

Created July 12, 2022 12:30

Ok, issue is available here
- 0 votes
Created July 01, 2022 09:35

Ah well, that's sad to hear. Should I make a bug report then?
- 0 votes
Created June 23, 2022 10:47

Thanks, I upgraded the plugin. Unfortunately, that didn't help
- 0 votes
Created June 22, 2022 15:25

We are targeting Idea 221 to 222, I use the bundled JBR and all plugins are up-to-date. If it helps, the source code where this happens is available here.
- 0 votes
Created June 21, 2022 15:58

Yes, same problem
- 0 votes
Created June 20, 2022 20:42

Yes, everything is the same
- 0 votes
Created February 16, 2022 11:05

Thanks, that worked! I had to update it both in the GitHub release and in gradle.properties
- 0 votes
Created April 26, 2021 14:04

Ah, thats a shame. Anyway, thanks for your help!
- 0 votes
Created April 26, 2021 13:55

So the background of the text can only be controlled with *.background?
- 0 votes
Created March 13, 2021 14:58

Where do pycharm and IDEA store the configuration for the currently used theme? I found a file color.scheme.xml in ~/.config/JetBrains/.../, but changing it seems to have no effect. (I want to chan...
- 0 votes