Cosimo Cecchi cad5e06041 panelMenu: consider scale factor when setting max-height ... Since the workarea and margins are both in pysical pixels dimensions (we fetch margins from Clutter, not from the theme), but the CSS expects logical (scaled) pixels, unless we consider the scale factor when setting max-height, it won't work on a HiDpi display. This fixes missing scrollbars when the calendar popup is full on HiDpi displays. https://bugzilla.gnome.org/show_bug.cgi?id=753305		2017-04-06 18:32:04 -07:00
..
extensionPrefs	extensionPrefs: Tweak UI	2017-02-15 23:20:14 +01:00
gdm	gdm: Handle absence of Fprint.Manager service	2017-03-20 19:02:07 +01:00
misc	weather: Follow GNOME Weather's location permissions	2017-03-20 19:13:20 +01:00
perf	Revert accidental commit "Test stuff"	2014-09-03 13:47:18 -04:00
portalHelper	portalHelper: Fix portals which require a new window to be loaded	2017-04-06 12:28:43 +02:00
ui	panelMenu: consider scale factor when setting max-height	2017-04-06 18:32:04 -07:00
js-resources.gresource.xml	location: Split out PermissionStore	2017-03-20 19:02:08 +01:00
Makefile.am	Use the versioned libmutter*.so versions	2017-02-14 11:23:09 +08:00