Lines Matching defs:height

64   unsigned int height;
109 unsigned height;
139 unsigned int width, unsigned int height);
205 unsigned int width, unsigned int height,
219 virtual_screen.height = height;
233 virtual_screen.rows = virtual_screen.height / virtual_screen.normal_char_height;
246 virtual_screen.height,
285 int x, int y, int width, int height,
298 height - 2 * border_width,
309 window.height = height;
339 grub_video_fill_rect (color, 0, 0, mode_info.width, mode_info.height);
343 grub_video_fill_rect (color, 0, 0, mode_info.width, mode_info.height);
354 0, 0, mode_info.width, mode_info.height,
417 unsigned int width, unsigned int height)
427 (unsigned *) &saved_view.height);
428 grub_video_set_viewport (window.x, window.y, window.width, window.height);
435 width, height);
445 int h = height;
448 if (y + height >= bitmap_height)
463 if (y + height >= bitmap_height)
465 int h = (y + height) - bitmap_height;
481 grub_video_fill_rect (color, x, y, width, height);
489 width, height);
495 width, height);
499 saved_view.width, saved_view.height);
503 repaint_callback (x, y, width, height);
528 dirty_region_add_real (int x, int y, unsigned int width, unsigned int height)
535 dirty_region.bottom_right_y = y + height - 1;
545 if ((y + (int)height - 1) > dirty_region.bottom_right_y)
546 dirty_region.bottom_right_y = y + height - 1;
551 dirty_region_add (int x, int y, unsigned int width, unsigned int height)
553 if ((width == 0) || (height == 0))
559 virtual_screen.width, virtual_screen.height);
563 dirty_region_add_real (x, y, width, height);
571 virtual_screen.width, virtual_screen.height);
581 int height;
590 height = dirty_region.bottom_right_y - y + 1;
595 redraw_screen_rect (x, y, width, height);
608 unsigned int height;
631 height = virtual_screen.normal_char_height;
641 grub_video_fill_rect (bgcolor, x, y, width, height);
647 width, height);
663 unsigned int height;
682 height = 2;
686 grub_video_fill_rect (color, x, y, width, height);
692 width, height);
735 (unsigned *) &saved_view.height);
738 window.height);
757 saved_view.width, saved_view.height);
791 repaint_callback (window.x, window.y, window.width, window.height);
1029 virtual_screen.width, virtual_screen.height);
1131 dirty_region_add (0, 0, window.width, window.height);
1148 || window.height != grub_video_bitmap_get_height (bitmap))
1153 window.height,
1175 dirty_region_add (0, 0, window.width, window.height);
1207 dirty_region_add (0, 0, window.width, window.height);
1221 dirty_region_add (0, 0, window.width, window.height);
1249 dirty_region_add (0, 0, window.width, window.height);
1261 dirty_region_add (0, 0, window.width, window.height);