IDEs Support (IntelliJ Platform) | JetBrains

Tomas Votruba

Total activity 12
Last activity July 14, 2025 11:54
Member since May 30, 2018 23:03
Following 0 users
Followed by 0 users
Votes 9
Subscriptions 1

Tomas Votruba commented, July 14, 2025 11:54
Thanks for ping-back. I've done a 20 mins back and forth GPT debugging today and after 5 non-working approaches (Oh my zen shell, restart, change font-size, font family, in-crease font-size in bro...
- 0 votes
Tomas Votruba commented, July 14, 2025 09:18
I have very same problem in 2025 in last 3 PHPStorm versions. I cannot change the console font and its always remains super tiny. PhpStorm 2025.2 EAPBuild #PS-252.23591.32, built on June 26, 2025So...
- 0 votes