5 comments
Comment actions Permalink

Hi there,

You need to switch to *another* GUI Theme.

Preferences | Appearance | Theme

0
Comment actions Permalink

It works only for Windows.
Unfortunately for iOS it's not an option. Feel free to create a feature request: http://youtrack.jetbrains.com/issues/WI#newissue=yes .

0
Comment actions Permalink

Are your sure?
PHPStorm working on java, there should be no difference between platforms

0
Comment actions Permalink

Well the majority of users want to be it not "java" but look native and follow each platform's conventions. Hence the difference in Tree UI.

0

Please sign in to leave a comment.