Emmanuele Bassi 043f804452 Make the pick id pool per Stage
The id pool used for the actor's id should be a per-stage field. At some
point, we might have a Stage mapped to multiple framebuffers, or each
Stage mapped to a different framebuffer; also, on backend with low
color precision we don't want to exhaust the size of the available ids
with a global pool. Finally, it's yet another thing we can remove from
the global Clutter context.

Having the id pool allocated per-stage, and the pick id assigned on
Actor:mapped will make the whole pick-id more reliable and future proof.

http://bugzilla.clutter-project.org/show_bug.cgi?id=2633

https://bugzilla.gnome.org/show_bug.cgi?id=647876
2011-05-06 17:47:41 +01:00
..
2011-02-19 16:47:20 +00:00
2011-05-05 14:46:02 +01:00
2011-04-18 16:24:27 +01:00
2011-05-06 15:44:08 +01:00
2011-05-06 15:44:08 +01:00
2011-05-06 15:44:08 +01:00
2011-05-06 17:47:41 +01:00
2011-05-06 17:47:41 +01:00
2011-05-06 17:47:41 +01:00
2011-03-03 11:47:49 +00:00
2010-12-09 13:59:08 +00:00
2011-05-06 17:21:00 +01:00