Emmanuele Bassi ea6ddd1534 actor: Add boxed margin accessors
It can be convenient to be able to set, or get, all the components of an
actor's margin at the same time; since we already have a boxed type for
storing a margin, an accessors pair based on it is not a complicated
addition to the API.
2012-01-16 23:37:14 +00:00
..
2012-01-16 23:37:12 +00:00
2011-11-10 19:05:39 +01:00
2011-11-18 22:06:30 +01:00
2011-11-14 11:06:28 +00:00
2011-10-19 15:23:55 +01:00
2011-10-19 15:23:55 +01:00
2011-11-10 14:13:45 +00:00
2012-01-16 23:35:13 +00:00
2012-01-16 23:35:16 +00:00
2011-12-28 09:37:53 +00:00
2011-10-11 23:42:23 +01:00
2012-01-16 21:06:19 +00:00
2011-06-07 16:06:24 +01:00
2012-01-16 23:35:17 +00:00
2011-12-13 12:44:27 +08:00