Carlos Garnacho 5ea70bd102 device-manager: Add private interface to manipulate platform event data
This normally belonged to the ClutterBackend, however there's device
managers (eg. evdev) that are somewhat detached from the backend, so
need to bridge this somehow.

This allows device managers to implement these bits that were usually
responsibility of the ClutterBackend.

https://bugzilla.gnome.org/show_bug.cgi?id=758238
2015-11-18 12:59:05 +01:00
..
2015-08-01 21:55:07 +02:00
2013-04-04 11:53:39 +01:00
2014-03-17 23:07:58 +00:00
2014-03-17 23:07:58 +00:00
2014-03-17 23:07:58 +00:00
2014-03-17 23:07:58 +00:00
2014-03-17 19:26:49 +00:00
2014-03-17 23:07:58 +00:00
2014-03-17 23:07:58 +00:00
2015-01-01 15:16:40 +00:00
2014-03-17 23:07:58 +00:00
2015-06-10 12:28:59 +01:00
2014-03-17 23:07:58 +00:00
2015-05-26 19:05:20 +02:00
2014-03-17 23:07:58 +00:00
2015-03-03 17:44:15 +00:00
2014-03-17 18:53:27 +00:00
2014-03-17 23:07:58 +00:00
2015-07-22 19:12:42 +01:00