Marco Trevisan (Treviño) 837a00c3f0 workspace: Recompute bounding box on window 'position-changed'
We need to update the clone position if window size changed
also, rename meta window 'size-changed' callback accordingly.

https://bugzilla.gnome.org/show_bug.cgi?id=792681
2018-07-24 11:08:25 +00:00
..
2018-02-21 13:54:58 +00:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-02-21 13:54:58 +00:00
2018-07-06 19:56:19 +02:00
2018-02-21 13:55:02 +00:00
2018-04-13 09:15:48 +00:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-02-21 13:54:58 +00:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00