IDEs Support (IntelliJ Platform) | JetBrains

Sglajch

Follow New posts New posts and comments

Total activity 2
Last activity March 13, 2017 15:10
Member since March 13, 2017 15:10
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Created March 13, 2017 15:10

While Max's suggestion is a good start given the tools we currently have, here's what I think would my ideal scenario. I'd like to be able to change the header area's background color based upon pr...
- 2 votes