Use cairo_push_group() for double buffering in the terminal
Use cairo_push_group() for double buffering in the terminal

Slightly different version of the patch from twied.

mchalupa/wayland,mchalupa/wayland,krezovic/weston,abooij/wayland,Fantu/compositor-spice,sir-murray/weston,sir-murray/wayland,krezovic/weston,kwm81/weston,jonnylamb/weston,kwm81/weston,udoprog/weston,giucam/weston,eyolfson/wayland,jonnylamb/weston,mchalupa/weston,mchalupa/wayland,eyolfson/wayland,bitfactor/wayland,eyolfson/weston,Fantu/compositor-spice,Gnurou/weston,mchalupa/weston,abooij/wayland,Gnurou/weston,eyolfson/weston,udoprog/weston,sir-murray/weston,xorgy/weston,sir-murray/wayland,bitfactor/wayland,tulcod/wayland,Tarnyko/weston-xdg_surface_present,xorgy/weston,sir-murray/wayland,abooij/wayland,Fantu/compositor-spice,eyolfson/wayland,Tarnyko/weston-xdg_surface_present,giucam/weston,tulcod/wayland,bitfactor/wayland,tulcod/wayland