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)