IDEs Support (IntelliJ Platform) | JetBrains

Mike Todd

Follow New posts New posts and comments

Total activity 4
Last activity November 07, 2016 20:07
Member since November 07, 2016 20:02
Following 0 users
Followed by 0 users
Votes 2
Subscriptions 1

Mike Todd commented, November 07, 2016 20:07
I would love to have this feature. Your reasoning for not allowing this is also not internally consistent. If you allow users to change the highlighting level for an individual file, then you shoul...
- 5 votes