GTK: Small optimization: changed the redraw timer to a timeout, if the window has not been redrawn 40 ms after it was marked as dirty, then force a redraw.