Florian Müllner 7bb7734869 panelMenu: Consider vertical margins when computing max-height
When opening a panel menu, we set it's max-height to the available
work-area height to keep menus with scrollable content from growing
outside the monitor. However a menu that extends all the way down
to the bottom edge does not look great either, so also take margins
into account here.

https://bugzilla.gnome.org/show_bug.cgi?id=744498
2015-02-15 10:23:39 +01:00
..
2014-10-14 18:53:39 -07:00
2014-11-13 12:26:33 +00:00
2014-04-10 21:08:16 +02:00
2014-12-19 11:39:50 +01:00
2015-02-14 18:20:28 +01:00
2014-10-16 17:16:06 -04:00
2015-02-13 23:14:28 +01:00
2014-12-19 11:39:50 +01:00
2015-01-07 15:26:21 -08:00
2015-01-16 18:24:36 +01:00
2015-01-21 15:44:05 +01:00
2014-10-09 12:17:15 +02:00