[jbosstools-issues] [JBoss JIRA] (JBDS-3478) Toolbar icons don't scale with different ui scaling factors
Jan Richter created JBDS-3478:
---------------------------------
Summary: 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
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.
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)