mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-25 00:29:23 +00:00
(dirty_region_add_real): ... this. (dirty_region_add): Don't discard margin refresh when performing scheduled repaint.
(dirty_region_add_real): ... this. (dirty_region_add): Don't discard margin refresh when performing scheduled repaint.