Home
IDEs Support (IntelliJ Platform) | JetBrains
Submit a request
Community
Sign in

David Wrench
Follow New posts New posts and comments

Avatar
  • 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...
    1. General
    2. Installation and Licensing
    3. Directories used by the IDE to store settings, caches, plugins and logs
    • 0 votes
Copyright © 2000– JetBrains s.r.o.