IDEs Support (IntelliJ Platform) | JetBrains

Mbust

Total activity 5
Last activity August 19, 2019 22:30
Member since January 21, 2018 14:46
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 2

Mbust commented, August 19, 2019 22:30
I am very sorry for reporting this here. I Installed an older version of the IDE with toolbox just to make sure and found that it looks the same. So please disregard my previous commend.I originall...
- 0 votes
Mbust commented, August 19, 2019 13:00
Is it possible to get the very small line-spacing back that was used in the console before the update? With this change ASCII tables look bad, even when decreasing the line-spacing to 0.6, which i...
- 0 votes
Mbust commented, January 21, 2018 14:46
This is still an issue in IntelliJ 2017.3.3. Setting the port manually only works for some time since it randomly selects another port from time to time...
- 0 votes