vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

* term/gfxterm.c (repaint_schedulded): Rename to ...

Browse source 
(repaint_scheduled): ... this.  Update all callers.
(repaint_was_schedulded): Rename to ...
(repaint_was_scheduled): ... this.  Update all callers.
This commit is contained in:
Colin Watson 2010-07-06 18:31:45 +01:00
parent 5357687a55
commit 1e54546914
2 changed files with 15 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2010-07-06 Colin Watson <cjwatson@ubuntu.com>
* 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 <cjwatson@ubuntu.com>
* util/deviceiter.c (grub_util_iterate_devices): Skip MD devices,

16
term/gfxterm.c
View file

@ -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);