IDEs Support (IntelliJ Platform) | JetBrains

Info

Total activity 4
Last activity March 30, 2018 10:50
Member since November 29, 2017 13:49
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Info commented, March 30, 2018 10:50
Today, after upgrading to 2018.1 for Mac, I ran into the same problem once again. This time however I can't save myself by disable "Override default fonts", because it's already been deselected. As...
- 0 votes
Info commented, November 29, 2017 13:53
Sorry, solved already. In the settings for Appearance the Override default fonts option was activated. After disabling that, all was well.
- 0 votes
Info created a post, November 29, 2017 13:49
Answered

Icons in 2017.3 much bigger, so some icons not reachable anymore

Today I upgraded to PhpStorm 2017.3 for Mac. Always great to have a new version of my favorite IDE! What's not so great: the icons in the main toolbar are much bigger than in 2017.2. Consequently t...
1. Community
2. PhpStorm
- 9 followers
- 8 comments
- 2 votes