mirror of
https://github.com/brl/mutter.git
synced 2025-03-30 15:13:46 +00:00

These calls don't actually affect the layout, but the paint order. It seems safe to skip the full relayout/repaint of the parent actor, and redraw only the area occupied by the affected child.