[Dillo-dev] [patch] reduce redraw overhead when selecting text