IDEs Support (IntelliJ Platform) | JetBrains

LeoJ

活动总数 5
最后的活动 2022年09月13日 19:58
成员加入日期 2022年09月13日 19:38
关注 0 名用户
关注者数 0 名用户
投票数 1
订阅数 2

创建于 2022年09月13日 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 票
创建于 2022年09月13日 19:39

Thank you. After 9 years, this is still a good advice!
- 0 票