[jbosstools-issues] [JBoss JIRA] (JBDS-3478) Toolbar icons don't scale with different ui scaling factors

[Jan Richter (JIRA)]

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)