On 2015-06-30 15:16:37 +0200, Yves-Alexis Perez wrote: > Then you could try to select a “HiDPI” GTK3 theme, if that exists.
This would not solve the real problem. The fact is that with the default theme, different sizes are available, but lightdm-gtk-greeter always choose a small one. FYI, with gtk3-icon-browser from the gtk-3-examples package, I can see that the Symbolic/Other icons are available in the following sizes: 16x16 24x24 32x32 48x48 64x64 If gtk3-icon-browser can select the size in the current theme, why can't lightdm-gtk-greeter do this? Note: I suppose that the gtk-icon-sizes solution doesn't work because it is no longer supported by GTK3, as documented: https://developer.gnome.org/gtk3/stable/GtkSettings.html#GtkSettings--gtk-icon-sizes "GtkSettings:gtk-icon-sizes has been deprecated since version 3.10 and should not be used in newly-written code. This setting is ignored." -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
