IDEs Support (IntelliJ Platform) | JetBrains

Craig

Total activity 3
Last activity February 24, 2018 11:40
Member since January 26, 2018 11:32
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Craig commented, February 24, 2018 11:40
Olga, the link in your message does not work. Could you repost the correct link, please? Craig
- 1 vote
Craig commented, January 26, 2018 11:32
Will this reload the existing windows in the editor and display with the new font? In effect, I want a *global* zoom level. I switch between my desktop at home, work and small (13") mac display. Id...
- 1 vote