Code

patch by Dennis Lin: use Gdk::Region for repaint