]
Radim Hopp updated JBIDE-17517:
-------------------------------
Attachment: vertCenter.png
!vertCenter.png!.
On the left is current alignment and on the right side is what I think Andre had on mind.
I'll still close this issue as I don't have any objection to current
implementation. [~adietish] If you still want this issue to be fixed feel free to reopen
it and maybe my image could help you prove your point ;-)
Section titles are not vertically centered compared to the section
toolbar actions (apparently only in linux)
-------------------------------------------------------------------------------------------------------------
Key: JBIDE-17517
URL:
https://issues.jboss.org/browse/JBIDE-17517
Project: Tools (JBoss Tools)
Issue Type: Bug
Components: central
Affects Versions: 4.2.0.Beta2
Environment: FC20, gtk3-3.10.9-1.fc20.x86_64
Reporter: Andre Dietisheim
Assignee: Snjezana Peco
Priority: Minor
Fix For: 4.2.0.Beta3
Attachments: jboss-central-titles-not-vertically-centered.png, vertCenter.png
In JBoss Central, the section titles are not vertically centered when compared to the
toolbar actions of the very same section:
!jboss-central-titles-not-vertically-centered.png!
This is apparently only reproducible in Linux (according to [~fbricon] this wont happen
in Windows.