IDEs Support (IntelliJ Platform) | JetBrains

LeoJ

Total activity 5
Last activity September 13, 2022 19:58
Member since September 13, 2022 19:38
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 2

LeoJ commented, September 13, 2022 19:58
On similar pop interface, I can click on the three vertical dots on the right lower corner and change font size there.
- 1 vote
LeoJ commented, September 13, 2022 19:39
Thank you. After 9 years, this is still a good advice!
- 0 votes