IDEs Support (IntelliJ Platform) | JetBrains

David Wrench

Follow New posts New posts and comments

Total activity 2
Last activity March 28, 2016 21:59
Member since March 28, 2016 21:59
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

David Wrench commented, March 28, 2016 21:59
I had accidently key mashed my Font Size to an unreadable number '13412' or something ridiculously. Go to: ~/Library/Preferences/PyCharm50/option/ui.inf.xml change 'Font Size' = 'not_a_ridiculous_n...
- 0 votes