]
Jan Richter updated JBDS-3478:
------------------------------
Attachment: scale2x.png
Added a screenshot for JBDS/JBT on full HD resolution using scaling factor of 2.
Toolbar icons don't scale with different ui scaling factors
-----------------------------------------------------------
Key: JBDS-3478
URL:
https://issues.jboss.org/browse/JBDS-3478
Project: Developer Studio (JBoss Developer Studio)
Issue Type: Bug
Components: ui/branding
Affects Versions: 9.0.0.Beta1
Environment: Fedora 20, gnome 3.10.1, gtk3-3.10.9
Reporter: Jan Richter
Attachments: scale2x.png
Using the desktop interface scaling factor to change the ui size (comes in handy on high
resolutions) with this command:
{noformat}
gsettings set org.gnome.desktop.interface scaling-factor 2
{noformat}
Most of the gui scales nicely except for toolbar icons, which stay the same, only the
spacing between them increases.