5 comments

Hi there,

You need to switch to *another* GUI Theme.

Preferences | Appearance | Theme

0

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

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

0

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.