After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 730079 - Window list doesn't scale with DPI setting
Window list doesn't scale with DPI setting
Status: RESOLVED DUPLICATE of bug 703585
Product: gnome-shell
Classification: Core
Component: extensions
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2014-05-13 19:43 UTC by Simon
Modified: 2015-02-27 20:55 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
screenshot of the problem (35.43 KB, image/png)
2014-05-13 19:43 UTC, Simon 		Details

Description Simon 2014-05-13 19:43:18 UTC 
Created attachment 276472 [details]
screenshot of the problem

On a high DPI laptop like the Lenovo Yoga 2 Pro (resolution of 3200x1800) Gnome automatically detects the high resolution and raises the DPI setting.

xrdb -query | grep dpi
Xft.dpi:	192

In this case the window list at the bottom is not scaled correctly. The height and the icon size is still small according the default dpi size (96), but the text of the app name in the window list is scaled correctly. So the window list is to small with text cut off. You can see an example with the top bar and the bottom window list in the attached screenshot.

The height and the size of the icons should also be scaled according the current DPI setting. 

(The window scale setting is set to 1.)
Comment 1 Florian Müllner 2015-02-27 20:55:10 UTC 
Thanks for taking the time to report this.
This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.

*** This bug has been marked as a duplicate of bug 703585 ***