fix bug in ch12/DoubleBufferedDrawing.py