Florian Müllner c6e9f9742b dash: Use the correct theme node for spacing/padding
We consider spacing and padding in _adjustIconSize, but as we use
the theme node from an actor which is not exposed to the CSS, we
miss the "real" values - correct this.

https://bugzilla.gnome.org/show_bug.cgi?id=662213
2012-01-24 22:53:22 +01:00
..
2011-11-24 09:50:04 +01:00
2011-11-24 09:50:04 +01:00
2011-11-24 09:50:04 +01:00
2011-11-24 09:50:04 +01:00
2011-11-24 09:50:04 +01:00
2011-12-15 16:13:29 -05:00
2012-01-17 12:39:03 +01:00
2011-12-20 20:06:14 +01:00
2011-11-11 11:15:38 -05:00
2011-11-24 09:50:04 +01:00
2011-11-24 09:50:04 +01:00
2011-12-20 20:06:14 +01:00