Why was so much vertical padding added to Settings and other menu lists?
It's not as easy to read, requires more scrolling, and is inconsistent with File menu drop-down. I'm coming from PHPStorm 10 on Windows 7, and I don't see the reason to add this vertical padding (and the text is made smaller as well for some reason), unless JetBrains is trying to follow the modern trend of adding padding to everything to make tablets more comfortable to use... but I don't know why anyone in their right mind would use PHPStorm or any JetBrains product on a finger-based tiny-touchscreen tablet rather than a desktop or laptop screen.
Please sign in to leave a comment.
Hello,
People actually ask about tablet-optimized versions of our products a lot. But this is not the case here.
What theme do you have set in File | Settings | Appearance & Behavior | Appearance? Try to set it to Default and check if it will still look the same.
I also cannot see extensive padding in PhpStorm 2017.1 and 2017.2 on Windows 7 so this might be one of the things fixed in the recent releases (PhpStorm 10 is quiet old already).
@Vladimir
As far as I can tell from a screenshot it's a standard "Windows" GUI Theme.
@Dave
The difference in active row height between 2 screenshots is minimal (at very least here on Windows 10 using PhpStorm 2017.2.4) -- 2px only (22px for Context Menu and 24px for Settings navigation). Surely, 2px per item adds up in such long "list" .. but still -- the difference is minimal.
@Andriy Yes, I suspected Windows theme. It could have issues especially with old PhpStorm version.
@Vladimir I mentioned PHPStorm 10 because that's what I was comparing my latest install (2017.2) to, which is why I said "coming from", meaning 10 looked OK and the latest version is what has more padding.
However my screenshots (again for 2017.2) was the IntelliJ theme, and the Windows theme has less padding than PHPStorm 10 (making the text tiny and padding almost non-existent in the same areas of my screenshot), so my options are too much padding or too little with the latest PHPStorm.
Also not sure it was acknowledged that the font size & spacing is not consistent in the file menus and Settings menus; that was the other thing I was pointing out. I don't understand the different ways of displaying the same kind of content, as it was more consistent in PHPStorm 10 (so I don't know why it needed to change).
Dave, to be honest, we don't know why exactly the padding was changed since v10.
I tried to look this up on our tracker, but this change was neither requested or reported to the tracker.
I think it's a fair point that the padding is inconsistent between UI elements, so could you please submit a cosmetics issue to the platform?
https://youtrack.jetbrains.com/newIssue?project=IDEA