IDEs Support (IntelliJ Platform) | JetBrains

Rick C. Petty

Total activity 4
Last activity July 25, 2019 22:37
Member since July 25, 2019 22:34
Following 0 users
Followed by 0 users
Votes 2
Subscriptions 1

Rick C. Petty commented, July 25, 2019 22:37
It wouldn't be so bad if it were near the top of the editor, but it's like 32px down from the top, and almost always sits on top of important code. They should make it pop up when you hover over th...
- 5 votes