IDEs Support (IntelliJ Platform) | JetBrains

Robbie

Total activity 2
Last activity April 08, 2025 13:07
Member since April 08, 2025 13:06
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 0

Created April 08, 2025 13:07

Denns Nice! Thanks for leaving that comment, just what I was looking for. It'd be cool if the ‘advanced’ settings for a settings group were accessible from the settings group rather than being hidd...
- 0 votes