-
Bram Moolenaar authored
Problem: Unnecessarily updating screen after timer callback. Solution: Check if calling the timer sets must_redraw.
02e177d3
Problem: Unnecessarily updating screen after timer callback. Solution: Check if calling the timer sets must_redraw.