Use cairo_push_group() for double buffering in the terminal
authorKristian Høgsberg <krh@bitplanet.net>
Thu, 20 Jan 2011 17:37:33 +0000 (12:37 -0500)
committerKristian Høgsberg <krh@bitplanet.net>
Thu, 20 Jan 2011 17:37:41 +0000 (12:37 -0500)
commitf39a9ccbb32f10d193742b98986d1d2327e9a3fe
tree72fb4e3464ccf5ea773a07dd2b5b828db3b86e5e
parent5982658d62902e7a7ef845e499b42e8ba3510270
Use cairo_push_group() for double buffering in the terminal

Slightly different version of the patch from twied.
clients/terminal.c