Use cairo_push_group() for double buffering in the terminal

Slightly different version of the patch from twied.
1 file changed