Rui Matos 216e996f66 st-theme-node: Unconditionally apply style margins on the actor
We currently don't have any code either in gnome-shell or
gnome-shell-extensions setting margins directly with the Clutter API.

On the other hand, the current behavior doesn't allow us to remove a
style class with margins and have that be reflected, so removing this
special casing seems like the right thing to do at this point.

https://bugzilla.gnome.org/show_bug.cgi?id=746902
2015-03-27 18:06:13 +01:00
..
2014-05-28 22:01:55 +02:00
2012-02-28 08:14:06 -05:00
2009-10-01 14:41:16 -04:00
2009-10-01 14:41:16 -04:00
2011-03-13 22:03:47 +01:00
2013-09-18 20:01:49 +02:00
2013-07-15 12:34:22 -04:00
2012-02-28 08:14:06 -05:00
2012-08-29 16:41:09 -03:00
2014-11-19 16:42:25 +01:00
2014-05-28 22:01:55 +02:00
2014-11-19 16:42:25 +01:00
2014-11-19 16:42:25 +01:00