From 1e54546914014193c64757b1b58f6a01ee96a28e Mon Sep 17 00:00:00 2001 From: Colin Watson Date: Tue, 6 Jul 2010 18:31:45 +0100 Subject: [PATCH] * term/gfxterm.c (repaint_schedulded): Rename to ... (repaint_scheduled): ... this. Update all callers. (repaint_was_schedulded): Rename to ... (repaint_was_scheduled): ... this. Update all callers. --- ChangeLog | 7 +++++++ term/gfxterm.c | 16 ++++++++-------- 2 files changed, 15 insertions(+), 8 deletions(-) diff --git a/ChangeLog b/ChangeLog index a37ac98f1..9d2210b30 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2010-07-06 Colin Watson + + * term/gfxterm.c (repaint_schedulded): Rename to ... + (repaint_scheduled): ... this. Update all callers. + (repaint_was_schedulded): Rename to ... + (repaint_was_scheduled): ... this. Update all callers. + 2010-07-06 Colin Watson * util/deviceiter.c (grub_util_iterate_devices): Skip MD devices, diff --git a/term/gfxterm.c b/term/gfxterm.c index a1886f7e8..44f6b191a 100644 --- a/term/gfxterm.c +++ b/term/gfxterm.c @@ -118,8 +118,8 @@ void (*grub_gfxterm_decorator_hook) (void) = NULL; static struct grub_gfxterm_window window; static struct grub_virtual_screen virtual_screen; static grub_gfxterm_repaint_callback_t repaint_callback; -static int repaint_schedulded = 0; -static int repaint_was_schedulded = 0; +static int repaint_scheduled = 0; +static int repaint_was_scheduled = 0; static void destroy_window (void); @@ -278,7 +278,7 @@ grub_virtual_screen_setup (unsigned int x, unsigned int y, void grub_gfxterm_schedule_repaint (void) { - repaint_schedulded = 1; + repaint_scheduled = 1; } grub_err_t @@ -510,7 +510,7 @@ dirty_region_reset (void) dirty_region.top_left_y = -1; dirty_region.bottom_right_x = -1; dirty_region.bottom_right_y = -1; - repaint_was_schedulded = 0; + repaint_was_scheduled = 0; } static int @@ -530,14 +530,14 @@ dirty_region_add (int x, int y, unsigned int width, unsigned int height) if ((width == 0) || (height == 0)) return; - if (repaint_schedulded) + if (repaint_scheduled) { x = virtual_screen.offset_x; y = virtual_screen.offset_y; width = virtual_screen.width; height = virtual_screen.height; - repaint_schedulded = 0; - repaint_was_schedulded = 1; + repaint_scheduled = 0; + repaint_was_scheduled = 1; } if (dirty_region_is_empty ()) @@ -586,7 +586,7 @@ dirty_region_redraw (void) width = dirty_region.bottom_right_x - x + 1; height = dirty_region.bottom_right_y - y + 1; - if (repaint_was_schedulded && grub_gfxterm_decorator_hook) + if (repaint_was_scheduled && grub_gfxterm_decorator_hook) grub_gfxterm_decorator_hook (); redraw_screen_rect (x, y, width, height);