Home
IDEs Support (IntelliJ Platform) | JetBrains
Submit a request
Community
Sign in
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
Activity overview
Posts (0)
Comments (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...
General
Installation and Licensing
Directories used by the IDE to store settings, caches, plugins and logs
0 votes